I thought this might interest some 9fans. James
---------- Forwarded message ---------- From: Benjamin Pierce <bcpie...@cis.upenn.edu> Date: Tue, Aug 24, 2010 at 4:44 PM Subject: [TYPES/announce] Postdoc opportunities at UPenn, Harvard, and Northeastern To: types-annou...@lists.seas.upenn.edu, Coq Club <coq-c...@pauillac.inria.fr>, Study on Mechanized Metatheory for the Masses group <prov...@lists.seas.upenn.edu> [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for postdoc positions in the areas of programming languages, formal verification, operating systems, and hardware design at the University of Pennsylvania, Harvard University, and Northeastern University. The hosting project, SAFE (Semantically Aware Foundation Environment), is part of CRASH, a larger DARPA-funded effort to design new computer systems that are highly resistant to cyber-attack, can adapt after a successful attack in order to continue rendering useful services, can learn from previous attacks how to guard against and cope with future attacks, and can repair themselves after attacks have succeeded. 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 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 up to four years. Starting date is negotiable. Applications from women and members of other under-represented groups are particularly welcome. To apply, please send a CV, research statement, and the names of three people who can be asked for letters of reference to Benjamin Pierce (bcpie...@cis.upenn.edu). Inquiries can be directed to any of the PIs: Andre Dehon (Penn) Greg Morrisett (Harvard) Benjamin Pierce (Penn) Olin Shivers (Northeastern) Jonathan Smith (Penn)
