Lambda the Ultimate

The High-Assurance Systems Programming (HASP) project at Portland State University has openings for two post-doctoral researchers to help design, develop, and apply a new functional language for systems programming. The Habit language derives from Haskell, with the addition of features for efficient low-level programming. Its compiler and high-assurance runtime system (HARTS) extend the verified CompCert compiler. Possible demonstration projects include an L4-based microkernel, lightweight Xen guest domains, and high-assurance portable devices. It is anticipated that one post-doc will champion the certifying compiler and the other will champion the demonstration project. The HASP team currently consists of three faculty (James Hook, Mark Jones, and Andrew Tolmach) and seven PhD students.

More details at:

http://hasp.cs.pdx.edu/postdoc.html