Date: Sat, 13 Apr 2013 00:10:33 +0100 From: "Robert N. M. Watson" <robert.watson@cl.cam.ac.uk> To: freebsd-jobs@FreeBSD.org Subject: Job ad: Research Associate in Processor, Operating System, and Compiler Security Message-ID: <AB5168FA-8C95-4897-B3EB-2B88BCAD940E@cl.cam.ac.uk> References: <F8292FB9-EBDC-4053-A42F-4C0DBF760F78@cl.cam.ac.uk>
next in thread | previous in thread | raw e-mail | index | archive | help
Dear all: Please find attached, below, an ad for a post-doctoral research position = at the University of Cambridge Computer Laboratory. Do contact me with = any questions. Sincerely, Dr Robert N. M. Watson University of Cambridge Computer Laboratory Begin forwarded message: > Research Associate in Processor, Operating System, and Compiler = Security >=20 > We are seeking a post-doctoral Research Associate to join the CTSRD = Project, which is investigating fundamental improvements to CPU = architecture, operating system (OS) design, 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: >=20 > http://www.cl.cam.ac.uk/research/security/ctsrd/ >=20 > 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. >=20 > An ideal candidate will hold, or shortly complete, a PhD in Computer = Science, Mathematics, or similar with a background in systems research = and 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. >=20 > 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. >=20 > This post is intended to start on 8 July 2013. >=20 > Applications should include: >=20 > - Curriculum Vitae >=20 > - Brief statement of the contribution you would make to the = project >=20 > - A completed form CHRIS6: = http://www.admin.cam.ac.uk/offices/hr/forms/chris6/ >=20 > 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 >=20 > * Limit of tenure: an initial period of up to two years. >=20 > Quote Reference: NR27782,Closing Date: 9 May 2013 >=20 > DEPARTMENT >=20 > Faculty of Computer Science and Technology >=20 > SALARY >=20 > =A327,854-=A336,298 pa >=20 > REFERENCE >=20 > NR27782 >=20 > CATEGORY >=20 > Research >=20 > PUBLISHED >=20 > 9 April 2013 >=20 > CLOSING DATE >=20 > 9 May 2013 >=20
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?AB5168FA-8C95-4897-B3EB-2B88BCAD940E>