[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(bcpie...@cis.upenn.edu).
