[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Sorry if you receive multiple copies of this] Applications are invited for a full-time postdoctoral researcher position in GoNative, a joint project between Lehigh University and Harvard University. The project explores low-overhead techniques to sandbox machine code. Formal methods are leveraged to verify the security guarantees provided by the techniques. Ongoing efforts in GoNative include the building of high-fidelity models of widely-used machines (e.g., x86 and ARM), and the use of those models in security applications. Information about the project can be found at the following website: http://sos.cse.lehigh.edu/gonative An ideal applicant should have strong background and research interests in programming languages or software security. Familiarity with interactive theorem provers such as Coq will be a plus. The postdoc will be provided with competitive salary and employment benefits. The postdoc will split his/her time between Lehigh and Harvard to coordinate the research. The initial appointment will be for one year, with an option to renew for a second year. Inquiries about the position should be directed to Gang Tan (g...@cse.lehigh.edu) and Greg Morrisett (g...@eecs.harvard.edu). Applicants should send a resume with at least two names of references. Applications will be reviewed until the position is filled; preference will be given to candidates who applied before Oct 15th, 2012. Lehigh University is an affirmative action/equal opportunity employer. Harvard University is an Equal Opportunity/Affirmative Action employer and applications from women and minority candidates are strongly encouraged.