Publisher
source

Iulian Neamtiu

Just Landed

New Today

Post Doctoral Research Associate in Security of Large Language Model-Assisted Coding New Jersey Institute of Technology in United States

Degree Level

Postdoc

Field of study

Computer Science

Funding

NSF-funded project; short-term postdoctoral appointment for six months with possible renewal up to one year based on performance and funding availability. Salary is commensurate with experience and benefits are competitive.

Country flag

Country

United States

University

New Jersey Institute of Technology

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Verification And Validation
Large Language Models

Suggested positions

Publisher
source

DEVCOM Army Research Laboratory

Country flag

United States

This faculty fellowship at the DEVCOM Army Research Laboratory focuses on AI model optimization for inference acceleration in edge computing environments . The project aims to develop theoretical and experimental approaches for accelerating inference on resource-constrained heterogeneous edge platforms, with an emphasis on predicting optimal model architectures through neural network architecture search. The research spans both convolutional neural networks and large language models , with the g...

Computer Science
Electrical Engineering
Information Technology
+4 more

New Today

Publisher
source

Sandia Biotech, Inc

Country flag

United States

Sandia National Laboratories is accepting applications for the S. Scott Collis Fellowship in Data Science , a postdoctoral opportunity focused on cutting-edge data science research with real-world impact. The post highlights an engaging research environment and suggests work at the intersection of computational analysis, statistics, and applied data-driven methods. This is a strong fit for candidates with interests in Computer Science , Statistics , Mathematics , and related quantitative fields....

Computer Science
Data Science
Information Technology
+3 more

1 month ago

Publisher
source

Yuling Zhuang

Texas A&M University

Country flag

United States

PhD opportunity in Mathematics Education at Texas A&M University for Fall 2027. Professor/Assistant Professor Yuling Zhuang is recruiting a fully funded 3-year PhD student (RA) to join a research team focused on Generative AI in Mathematics Education , Mathematics Teacher Education , Mathematical Argumentation & Proof , Classroom Discourse , and AI-Simulated Teaching and Learning Environments . Applicants with a strong background in mathematics or mathematics education are encouraged to apply. E...

Computer Science
Education
Information Technology
+3 more

2 months ago

Publisher
source

Yifang WANG

Florida State University

Country flag

United States

Yifang WANG’s WHALES Lab in the Department of Computer Science at Florida State University is opening multiple Ph.D. positions for Fall 2027. The lab’s research areas include data visualization , artificial intelligence , large language models (AI/LLM) , and data art . The opportunity is suitable for students interested in computer science research and related human-centered visualization topics. The group also welcomes research interns and visiting students and scholars year-round. The post doe...

Computer Science
Information Technology
Artificial Intelligence
+3 more

3 days ago

Publisher
source

Zhiyun Qian

University of California, Riverside

Country flag

United States

University of California, Riverside is advertising a postdoctoral scholar opening in cybersecurity within Computer Science & Engineering. The research areas mentioned include static analysis , systems security , and AI for security , making this a strong fit for candidates with backgrounds in computer science , security research, software analysis, and related areas. The post is shared by Zhiyun Qian , Everett and Imogene Ross Professor at UCR, who is the academic contact/owner of the opening. T...

Computer Science
Information Technology
Cybersecurity

1 month ago

About this position

This postdoctoral research associate position is based in the Department of Computer Science at the New Jersey Institute of Technology and is part of an NSF-funded project focused on improving the security of large language model-assisted coding. The successful candidate will work primarily with Professor Iulian Neamtiu and may also collaborate with other CS faculty members.

The project develops methods to make AI-generated code safer by combining program analysis and verification with LLM-based code generation. The research aims to express safety and security properties formally, translate those specifications into LLM prompts, and iteratively improve the properties of generated code. The work sits at the intersection of software security, formal methods, and AI-assisted programming.

Day-to-day research activities include developing type-and-effect systems and other static and dynamic analyses, building program analysis tools, and integrating those tools into code generation pipelines. The project also involves mining and analyzing large open-source software repositories and using in-house and industrial verification tools. Results are expected to be presented through peer-reviewed publications and professional meetings.

The role is a short-term appointment in an active research environment within NJIT’s computing community.

Funding details

NSF-funded project; short-term postdoctoral appointment for six months with possible renewal up to one year based on performance and funding availability. Salary is commensurate with experience and benefits are competitive.

What's required

Applicants should have obtained a Ph.D. in Computer Science by the starting date. Experience, demonstrated via publications, is required in automated theorem provers for safety of ML/AI implementations, static and dynamic analysis for reliability of LLM-generated code, mathematical optimization for software safety, systems-level code writing or optimization, mining and analyzing large open-source software repositories at scale, and security analysis for finding vulnerabilities in open source software. Preferred qualifications include experience with type systems, specifically type-and-effect systems, symbolic execution, and industrial program analysis tools.

How to apply

Apply through the NJIT Workday application link. Submit a CV, publication list, brief research statement, and the names of three professional references.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.

Professors

Professor at New Jersey Institute of Technology

University Name
Country flag

United States

Research Interests

Verification And Validation

Information Technology

Mathematics

Computer Science

Large Language Models