The Coq mailing list

[Andrew Tolmach <apt AT cs.pdx.edu>]

The High-Assurance Systems Programming (HASP) project at Portland
State University in Portland, OR, USA, has openings for *two*
post-doctoral researchers to help design, develop, and apply a new
strongly typed, pure 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.

Please see http://hasp.cs.pdx.edu/postdoc.html for more details.