Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 23 Mar 2012 19:36:30 +0000 (GMT)
From:      Robert Watson <rwatson@FreeBSD.org>
To:        jobs@FreeBSD.org
Subject:   Job ad: post-doctoral researcher in security, operating systems, computer architecture at the University of Cambridge
Message-ID:  <alpine.BSF.2.00.1203231931110.2422@fledge.watson.org>

next in thread | raw e-mail | index | archive | help
  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--621616949-1789367553-1332531391=:2422
Content-Type: TEXT/PLAIN; format=flowed; charset=UTF-8
Content-Transfer-Encoding: 8BIT

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@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.
--621616949-1789367553-1332531391=:2422--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?alpine.BSF.2.00.1203231931110.2422>