Job ad: Research Associate in Processor, Operating System, and Compiler Security

[Robert N. M. Watson]

Dear all:

Please find attached, below, an ad for a post-doctoral research position at the University of Cambridge Computer Laboratory. Do contact me with any questions.

Sincerely,

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

Begin forwarded message:

> Research Associate in Processor, Operating System, and Compiler Security
> 
> We are seeking a post-doctoral Research Associate to join the CTSRD Project, which is investigating fundamental improvements to CPU architecture, operating system (OS) design, 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, a PhD in Computer Science, Mathematics, or similar with a background in systems research and 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.
> 
> Candidates must be able to provide evidence of relevant work demonstrated by a research publication track record or industrial experience. 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: NR27782,Closing Date: 9 May 2013
> 
> DEPARTMENT
> 
> Faculty of Computer Science and Technology
> 
> SALARY
> 
> £27,854-£36,298 pa
> 
> REFERENCE
> 
> NR27782
> 
> CATEGORY
> 
> Research
> 
> PUBLISHED
> 
> 9 April 2013
> 
> CLOSING DATE
> 
> 9 May 2013
>