[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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/
ineam...@njit.edu
