Research Assistant in Processor, Operating System, and Compiler Security

[Robert N. M. Watson]

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
> 
> 
>