---------------------------- Original Message ----------------------------
Subject: Postdoc position at Lehigh and Harvard
From: "Gang Tan" <gtan@CSE.LEHIGH.EDU>
Date: Mon, August 20, 2012 9:36 pm
To: SECURITY@FOSAD.ORG
--------------------------------------------------------------------------
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 (e.g.,
through symbolic execution). 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
(gtan@cse.lehigh.edu) and Greg Morrisett (greg@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.
Subject: Postdoc position at Lehigh and Harvard
From: "Gang Tan" <gtan@CSE.LEHIGH.EDU>
Date: Mon, August 20, 2012 9:36 pm
To: SECURITY@FOSAD.ORG
--------------------------------------------------------------------------
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 (e.g.,
through symbolic execution). 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
(gtan@cse.lehigh.edu) and Greg Morrisett (greg@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.
__._,_.___
.
__,_._,___
No comments:
Post a Comment