Job ad: post-doctoral researcher working in operating systems, compilers

Dear all:

Please find attached a job advertisement for a post-doctoral research position at Cambridge. Background
in FreeBSD and clang/LLVM would be extremely desirable. Please do feel free to forward this on to anyone
who might find it interesting!

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

Research Associate
University of Cambridge - Faculty of Computer Science & Technology

Salary: £27,428 - £35,788 pa
The funds for this post are available one year:

We are seeking a Post-doctoral Research Associate to join the CTSRD Project, which is investigating
fundamental improvements to CPU architecture, operating system (OS), 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.

This position will be an integral part of an international team of researchers spanning multiple
institutions across academia and industry. The successful candidate will contribute to low-level
aspects of system software: compilers, language run-times, and OS kernels. Responsibilities will
include researching the application of novel dynamic techniques to C-language operating systems and
applications, including adaptation of the FreeBSD kernel and LLVM compiler suite, and measurement of
the resulting system.

An ideal candidate will hold (or be close to finishing) a PhD in Computer Science, Mathematics, or similar