Post Doctoral Research Associate at New Jersey Institute of Technology

Job description

Are you a current NJIT employee? Apply here through the Internal Jobs Hub. Title: Post Doctoral Research Associate Reports To: Professor Position Summary: 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 coding by 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. Essential Functions: 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 Pre-Requisite Qualifications: 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 Preferred Qualifications: Experience with type systems, specifically type-and-effect-systems Experience with symbolic execution Experience with industrial program analysis tools Special Instructions for Applicant: 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. Union: United Council of Academic @ NJIT (UCAN GSRE) Range: Post Docs Compensation: 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 . FLSA: Exempt Time Type: Full time Pay Rate: Salary Additional