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

[Iulian Neamtiu]

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.

PROJECT SCOPE
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.

APPLICATION REQUIREMENTS
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

APPLICATION
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.

AVAILABILITY and DURATION
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.

SALARY
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

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

CONTACT
Please contact Iulian Neamtiu for any questions.
https://web.njit.edu/~ineamtiu/
ineamtiu at njit.edu