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 Information: 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. When you work at New Jersey Institute of Technology (NJIT), you become part of a dynamic and innovative community dedicated to advancing education, research, and technological excellence. Recognized as New Jersey’s premier public polytechnic university, NJIT serves a diverse population of over 12,000 students across six colleges and schools, offering a forward-thinking academic environment in the heart of Newark, just minutes from New York City. At NJIT, we are committed to fostering a workplace culture rooted in inclusion, collaboration, and excellence. Employees are empowered to grow professionally, contribute to meaningful work, and support a mission that shapes the future of technology, education, and research. Learn more about what we offer here!

Post Doctoral Research Associate.

more at Njit.

Summer Researcher

Hourly Data Analyst

Hourly Data Analyst

similar roles.

Business Analyst, Security Education

Cyber Security Advisor

Regional Security Lead, APAC

Sr. Engineer, AI Cyber Security

Informācijas Sistēmu Drošības Inženieris (Red Team)/Information System Security Engineer (Red Team)

Security CCTV Technician