Post Doctoral Research Associate

Are you a current NJIT employee? Apply here through the Internal Jobs Hub.

Applications are invited for a short-term postdoctoral position on an NSF-funded project on Improving the Security of Large Language Model-Assisted Coding.

The candidate will work in New Jersey Insitute of Technology (NJIT)'s Department of Computer Science (CS), primarily with Prof. Iulian Neamtiu, and potentially with other CS faculty members.The candidate will work on a research

project that aims to improve the security of LLM-assisted codingby using

program analysis and verification to generate code with security guardrails;

specifically,expressing safety&security properties formally, encoding these

formal specifications into LLM prompts,and iteratively improving the

safety&security properties of the generated code.

• Research in type-and-effect systems, and more generally static&dynamic analyses to check the reliability of LLM-generated software
• Developing program analysis tools and integrating these tools into LLM-based code generation pipelines
• Mining repositories of, and analyzing large open-source software, using in-house and external industrial verification tools
• Presentation of results via peer-reviewed papers and domestic or international travel to professional meetings to present results

• Ph.D. in Computer Science
• Experience, demonstrated via publications, in using automated theorem provers to check or prove safety of ML/AI implementations
• Experience, demonstrated via publications, in using static and dynamic analysis to check or ensure the reliability of LLM-generated code
• Experience, demonstrated via publications, in using mathematical optimization techniques to check or prove software safety
• Experience, demonstrated via publications, with writing or optimizing systems-level code, e.g., to improve performance or parallelism
• Experience, demonstrated via publications, with mining and analyzing large, popular, open-source software repositories at scale
• Experience, demonstrated via publications, with security analysis and finding vulnerabilities in open source software

• Experience with type systems, specifically type-and-effect-systems
• Experience with symbolic execution
• Experience with industrial program analysis tools

• Applicants should have obtained a PhD in Computer Science by the starting date.
• The start date of the appointment is flexible, however, earlier dates are preferred.
• The appointment is for six months, with a possible renewal for up to one year, based on successful applicant performance and funding availability.
• The preferred start date is October-December 2026.
• Benefits are competitive and salary will be commensurate with applicant experience.
• Candidates will need to submit a curriculum vitae, a list of publications, a brief statement of research interests, and the names of three professional references.

At the university's discretion, the education and experience prerequisites may be exempted where the candidate can demonstrate to the satisfaction of the university an equivalent combination of education and experience specifically preparing the candidate for success in the position.

NJIT considers factors such as (but not limited to) scope and responsibilities of the position, candidate's work experience, education/training, key skills, internal peer equity, as well as, market and organizational considerations when extending an offer. This pay range represents base pay only and excludes any additional items such as incentives, bonuses, or other items. To learn more about the comprehensive benefits NJIT offers for this position, please visit our benefits page: https://hr.njit.edu/health-benefits.

As an EEO employer NJIT is committed to building a diverse and inclusive teaching, research, and working environment and strongly encourages applications from individuals with disabilities, minorities, veterans, and women.

Employment at NJIT is subject to the provisions of New Jersey First Act which mandates new employees, who are not NJ residents, to establish primary residence in New Jersey within one year of their appointment to certain positions. The law does not apply to any individual employed at NJIT on a temporary or per semester basis as a visiting or adjunct professor, teacher, lecturer, researcher or administrator. For more information on the act please click here.

If special accommodations are needed in applying for a position, please visit the Department of Human Resources located in Fenster Hall, 5th Floor, University Heights, Newark, NJ 07102 or call (973) 596-3140. If you have questions, please email the Human Resources Department at hr@njit.edu.

Information regarding NJIT campus security, personal safety, and fire safety including topics such as, disciplinary procedures, crime prevention, NJIT Police law enforcement authority, crime reporting policies, and crime statistics for the most recent three year period is available on the NJIT Department of Public Safety here.

NJIT is an E-Verify employer and uses E-Verify to confirm work authorization of each new hire.