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.

Scope of the project

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

Necessary 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, but insufficient by themselves:
  • rigorous techniques for reasoning about and manipulating programs, e.g., dynamic analysis or binary/bytecode transformation
  • research experience in systems, security, or smartphones
  • empirical software engineering/mining software repositories

    • Application

    Apply here: NJIT JOBS
    Your application should contain the following two documents:
    1. A cover letter summarizing your background and justifying how it fits this position.
    2. 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 $47,476 to $55,000, depending on qualification and experience. Salary and benefits details.

    About NJIT

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

    Contact

    Please contact Iulian Neamtiu for any questions.