Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 6 Dec 2011 17:18:33 +0000
From:      "Robert N. M. Watson" <robert.watson@cl.cam.ac.uk>
To:        jobs@FreeBSD.org
Subject:   Job ad: post-doctoral researcher working in operating systems, compilers
Message-ID:  <B30032B5-3DFE-4AAD-AA85-516AAF2E27C0@cl.cam.ac.uk>

next in thread | raw e-mail | index | archive | help
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: =A327,428 - =A335,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 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. Some 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:

 *      Curriculum Vitae

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

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@cl.cam.ac.uk

Quote Reference: NR10692
Closing Date: 10 January 2012

The University values diversity and is committed to equality of =
opportunity.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?B30032B5-3DFE-4AAD-AA85-516AAF2E27C0>