freebsd jobs - Apr 2013 - Research Assistant in Processor, Operating System, and Compiler Security

Dear all:

Please find attached, a job ad for a pre-doctoral research assistant position at
the University of Cambridge Computer Laboratory. Please contact me directly with
any questions.

(Please note: a post-doctoral research associate position suitable for those
holding or shortly to obtain a PhD has been separately advertised.)

Sincerely,

Dr Robert N. M. Watson
University of Cambridge
Computer Laboratory

Begin forwarded message:
> Research Assistant in Processor, Operating Systems, and Compiler Security
> 
> We are seeking a Research Assistant to join the CTSRD Project, which is
investigating fundamental improvements to CPU architecture, operating system
(OS), program analysis, and programming language structure in support of
computer security. The CTSRD Project is a collaboration between the University
of Cambridge and SRI International, and part of the DARPA CRASH research
programme on clean-slate computer system design. More information on this
project may be found at:
> 
> http://www.cl.cam.ac.uk/research/security/ctsrd/
> 
> This position will be an integral part of an international team of
researchers spanning multiple institutions across academia and industry. The
successful candidate will provide support for the larger research effort by
contributing to low-level hardware and system-software implementation and
experimentation. Responsibilities will include extending Bluespec-based CHERI
processor designs, modifying operating system kernels and compiler suites,
administering test and development systems, as well as performing performance
measurements. The position will also support and engage with early adopter
communities for our open-source research platform in the UK and abroad.
> 
> An ideal candidate will hold, or shortly complete, an undergraduate or
Master's degree in Computer Science, Mathematics, or similar with a
background in system hardware or software development, which should include
strong experience with at least of one of Bluespec HDL, OS kernel development
(FreeBSD preferred; Linux acceptable), or compiler internals (LLVM preferred;
gcc acceptable). Strong experience with the C programming language, at least one
UNIX-like operating system, and revision control systems is critical; some
experience with computer security and formal methods is also recommended.
> 
> Good interpersonal and organisational skills and the ability to work in a
team are also essential.
> 
> This post is intended to start on 8 July 2013.
> 
> Applications should include:
> 
> -	Curriculum Vitae
> 
> -	Brief statement of the contribution you would make to the project
> 
> -	A completed form CHRIS6:
http://www.admin.cam.ac.uk/offices/hr/forms/chris6/
> 
> Completed applications should be sent by post to: Personnel-Admin, Computer
Laboratory, William Gates Building, JJ Thomson Avenue, Cambridge, CB3 0FD, or by
email to: personnel-admin at cl.cam.ac.uk
> 
> * Limit of tenure: an initial period of up to two years.
> 
> Quote Reference: NR27772,Closing Date: 9 May 2013
> 
> DEPARTMENT
> 
> Faculty of Computer Science and Technology
> 
> SALARY
> 
> ?24,049-?27,047 pa
> 
> REFERENCE
> 
> NR27772
> 
> CATEGORY
> 
> Research
> 
> PUBLISHED
> 
> 9 April 2013
> 
> CLOSING DATE
> 
> 9 May 2013
> 
> 
>