Job ad: post-doctoral researcher in security, operating systems,
computer architecture at the University of Cambridge
Robert Watson
rwatson at FreeBSD.org
Fri Mar 23 19:36:35 UTC 2012
Dear all:
We are pleased to announce a further job opening at the University of
Cambridge Computer Laboratory for a post-doctoral researcher working in the
areas of security, operating systems, and computer architecture. The official
version of this job ad may be found at:
http://www.jobs.cam.ac.uk/job/-14931/
Further information on the research project in question may be found here:
http://www.cl.cam.ac.uk/research/security/ctsrd/
Dr Robert N. M. Watson
Computer Laboratory
University of Cambridge
Research Associate in compiler-assisted instrumentation of operating system
kernels
University of Cambridge – Faculty of Computer Science and Technology
Salary: £27,578-£35,938 pa
The funds for this post are available for up to two years: We are seeking a
Post-doctoral Research Associate to join the CTSRD and MRC2 projects, which
are investigating fundamental revisions to CPU architecture, operating system
(OS), programming language, and networking structures in support of computer
security. The two projects are collaborations between the University of
Cambridge and SRI International, and part of the DARPA CRASH and MRC research
programmes 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 instrumentation techniques to C-language
operating systems and applications, including adaptation of the FreeBSD kernel
and LLVM compiler suite, and evaluation of the resulting system.
An ideal candidate will hold (or be close to finishing) a PhD in Computer
Science, or have similar, with a strong background in low-level system
software development, which should include at least of one of strong kernel
development experience (FreeBSD preferred; Linux acceptable), or compiler
internals experience (LLVM preferred; gcc acceptable). Strong experience with
the C programming language is critical. A strong background in computer
security 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 be filled as soon as practically possible
after the closing date.
Applications should include:
- CV
- Brief statement of the particular contribution you would make to the project
- A completed form CHRIS6 (http://www.admin.cam.ac.uk/offices/hr/forms/chris6/)
Applications should be sent, preferably by email, to
personnel-admin at cl.cam.ac.uk. Postal Address: Personnel-Admin, University of
Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge, CB3 0FD
Quote Reference: NR14931
Closing Date: 23 April 2012
The University values diversity and is committed to equality of opportunity.
More information about the freebsd-jobs
mailing list