[TYPES/announce] Postdoc position at Lehigh and Harvard

Gang Tan gtan at cse.lehigh.edu
Wed Aug 15 13:42:19 EDT 2012

[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:


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
(gtan at cse.lehigh.edu) and Greg Morrisett (greg at 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.

More information about the Types-announce mailing list