Date: Sat, 13 Apr 2013 00:12:29 +0100 From: "Robert N. M. Watson" <robert.watson@cl.cam.ac.uk> To: freebsd-jobs@FreeBSD.org Subject: Research Assistant in Processor, Operating System, and Compiler Security Message-ID: <133A36DC-3087-42CD-A098-FB117EA4FF63@cl.cam.ac.uk> References: <A73D37B4-8E80-4456-A246-93B6E5C00BF0@cl.cam.ac.uk>
next in thread | previous in thread | raw e-mail | index | archive | help
Dear all: Please find attached, a job ad for a pre-doctoral research assistant = position at the University of Cambridge Computer Laboratory. Please = contact me directly with any questions. (Please note: a post-doctoral research associate position suitable for = those holding or shortly to obtain a PhD has been separately = advertised.) Sincerely, Dr Robert N. M. Watson University of Cambridge Computer Laboratory Begin forwarded message: > Research Assistant in Processor, Operating Systems, and Compiler = Security >=20 > We are seeking a Research Assistant to join the CTSRD Project, which = is investigating fundamental improvements to CPU architecture, operating = system (OS), program analysis, 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, an undergraduate or = Master's degree in Computer Science, Mathematics, or similar with a = background in system hardware or software 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 > 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: NR27772,Closing Date: 9 May 2013 >=20 > DEPARTMENT >=20 > Faculty of Computer Science and Technology >=20 > SALARY >=20 > =A324,049-=A327,047 pa >=20 > REFERENCE >=20 > NR27772 >=20 > CATEGORY >=20 > Research >=20 > PUBLISHED >=20 > 9 April 2013 >=20 > CLOSING DATE >=20 > 9 May 2013 >=20 >=20 >=20
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?133A36DC-3087-42CD-A098-FB117EA4FF63>