Postdoc Opportunities in the HASP project at PSU

Position Summary

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.


Fundamental job duties of the position include:

Minimum Qualifications

Preferred Qualifications

Candidates are sought with interest and expertise in one or more of the following areas:

Experience in multiple areas is not required, but a willingness to learn about and to collaborate with experts in other areas is required.


The starting annual salary rate for this position will be $60,000 per year with an excellent benefits package including fully paid healthcare; a generous retirement and vacation package; and reduced tuition rates for employee, spouse or dependent at any of the Oregon University System schools.

To Apply

To apply, please send CV with a brief description of your research accomplishments and interests, including the names of three references. Submissions should be sent to Please include the phrase "HASP Postdoc" in the subject line. General questions about the positions may be directed to the same address. Further information about the Department of Computer Science and its programs at Portland State is available on the department's home page (

Review of applications will begin immediately. This position will remain open until finalists are identified.

Portland State University is an Affirmative Action, Equal Opportunity institution and welcomes applications from diverse candidates and candidates who support diversity.