[TYPES/announce] postdoc position in type systems at NJIT (NYC area)

Iulian Neamtiu ineamtiu at njit.edu
Mon Jun 6 13:49:42 EDT 2016

One postdoc position in type systems is available in Prof. Iulian Neamtiu's research group at the New Jersey Institute of Technology, in the New York City metropolitan area.

Using type systems to reason about, and enforce program properties that involve different software versions or different executions, e.g., correctness of program changes or record-and-replay fidelity.

Required experience/qualifications: a strong publication record in type systems and/or static analysis, and experience with implementing program analyses for real-world programs. 

Optional experience/qualifications, that are helpful but insufficient by themselves:
• rigorous techniques for reasoning about and manipulating programs, e.g., dynamic analysis or binary/bytecode transformation
• research experience in the areas of systems, security, or smartphones
• empirical software engineering/mining software repositories

Apply here: http://njit.jobs/applicants/Central?quickFind=55021 
Your application should contain the following two documents:
	• A cover letter summarizing your background and justifying how it fits this position.
	• Your CV, which should include the name and contact info of at least 3 references.
To be considered, applications need to include both these documents.

The position is available immediately, and will remain open until filled. While the start date is flexible, please note that the anticipated end date is June 30, 2017. Subsequent appointments might be possible, subject to funding availability and performance.

Annual salaries range from $40,000 to $55,000, depending on qualification and experience. 
Salary and benefits details: http://www5.njit.edu/research/sites/research/files/lcms/pdf/FY15-Salary-Computation-Guidelines-8-5-14.xlsx

NJIT is in the greater New York City area, a 20 minute train ride from Manhattan.

Please contact Iulian Neamtiu for any questions.
ineamtiu at njit.edu

More information about the Types-announce mailing list