Post Doctoral Research Associate

New Jersey Institute of Technology; Guttenberg (NJ); On-site; USD 60,000 - 90,000; Full time

Job summary

New Jersey Institute of Technology (NJIT) in Newark, NJ invites applications for a Post Doctoral Research Associate in the Department of Computer Science to work on an NSF-funded project that improves the security of LLM-assisted coding. The candidate will collaborate with Prof.

Iulian Neamtiu and other CS faculty to express safety properties, encode them into prompts, and iteratively improve the security of generated code.

Qualifications

• Ph.D. in Computer Science.
• Publications showing work with automated theorem provers.
• Publications showing static and dynamic analysis of ML/AI code.
• Publications showing software safety analysis.

Responsibilities

• Research in type-and-effect systems and static/dynamic analyses for reliability of LLM-generated software.
• Develop program-analysis tools and integrate into LLM-based code generation pipelines.
• Mine and analyze large open-source software repositories using verification tools.
• Present results in peer-reviewed papers and travel to professional meetings.

Education

Ph.D. in Computer Science

Job description

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 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.

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

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 [phone]. If you have questions, please email the Human Resources Department at [e-mail].

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.