[TYPES/announce] Postdoc opening in PL and security at University of Pennsylvania

[Benjamin C. Pierce]

Applications are invited for a postdoc position with the CRASH/SAFE project at the University of Pennsylvania.

CRASH/SAFE is an ambitious effort to design new computer systems that are highly resistant to cyber-attack.  It offers a rare opportunity to rethink the hardware / OS / software stack from a completely clean slate, with no legacy constraints whatsoever.  Specifically, we aim to build a suite of modern operating system services that embodies and supports fundamental security principles—including separation of privilege, least privilege, and mutual suspicion—down to its very bones, without compromising performance.  Achieving this goal demands an integrated effort focusing on (1) processor architectures, (2) operating systems, (3) formal methods, and (4) programming languages and compilers -- coupled with a co-design methodology in which all critical system layers are designed together, with a ruthless insistence on simplicity, security, and verifiability at every level.  The project is joint with Harvard, Northeastern, and BAE Systems.  More information and papers describing project results can be found at http://www.crash-safe.org.  

The ideal candidate will have a Ph.D. in Computer Science, a combination of strong theoretical and practical interests, and expertise in two or more of the following areas: programming languages, security, formal verification, operating systems, and hardware design.

The position is for one year in the first instance, with possible renewal for one or more additional years.  Starting date is negotiable; salary commensurate with experience.  Applications from women and members of other under-represented groups are particularly welcome.

Penn's department of Computer and Information Science offers a vibrant research environment with a long tradition of excellence in programming languages and related areas.  We are located in Philadelphia, a city that offers a rich array of cultural, historical, and nightlife attractions, parks and outdoor recreation, convenient public transportation, and affordable housing.

To apply, please send a CV, research statement, and the names of four people who can be asked for letters of reference to Benjamin Pierce (bcpierce at cis.upenn.edu).




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130423/8a3bbe34/attachment.html>