Postdoctoral Fellow - Computer Science (Ming)

Tulane group; New Orleans (LA); On-site; USD 60,000 - 80,000; Full time

Job summary

Tulane University is accepting applications for a Postdoctoral Fellow in Computer Science in New Orleans. The successful candidate will join Dr.

Jiang Ming’s group to pursue language-based security research, focusing on transitioning legacy C/C++ code to Rust and developing memory-safe interfaces and runtime protections. The position is initially for one year (Oct 2, 2026 to Oct 1, 2027) with potential extension, involving prototype work, supervision of students, and dissemination of results in

Qualifications

• PhD in computer science, computer engineering, or related field.
• Hands-on research in software security, program analysis, compilers, or related areas.
• Strong publication record and ability to lead projects and communicate results.

Responsibilities

• Lead prototype development using compiler and program-analysis frameworks.
• Supervise and collaborate with graduate and undergraduate researchers.
• Disseminate results via publications and presentations.
• Coordinate reproducible research artifacts.

Skills

Software security research

Program analysis

Compilers/Programming languages

Research leadership & communication

Education

PhD in CS/Engineering or related field

Tools

LLVM-based static analysis

Rust

C/C++ interoperability

Job description

Postdoctoral Fellow - Computer Science (Ming)

New Orleans, LA, United States

Job Description

A postdoctoral position is available in the Department of Computer Science at Tulane University in historic Uptown New Orleans. The postdoctoral researcher will work with Dr. Jiang Ming’s group on a language-based security research program that supports the transition from legacy C/C++ software to memory-safe Rust. The research will connect three complementary directions: optimization-guided program analysis to reduce unnecessary privileged or security‑critical native code; automated synthesis of safer Rust interfaces for residual C libraries by inferring implementation‑level memory effects, ownership, borrowing, and lifetime requirements; and contract‑guided runtime protection that limits the memory authority of residual native components in mixed Rust/C applications. The successful candidate will lead prototype development using modern compiler and program‑analysis frameworks, supervise and collaborate with graduate and undergraduate researchers, contribute to reproducible research artifacts, and disseminate results through publications and presentations in top‑tier software engineering, programming languages, computer security, and systems venues. The position is initially for one year with an option for extension, subject to availability of funding. The appointment period is October 2, 2026 through October 1, 2027.

Qualifications

MINIMUM QUALIFICATIONS:

1. PhD in computer science, computer engineering, or a related area.

2. Demonstrated hands‑on research skills in software security, program analysis, compilers/programming languages, or closely related areas.

3. A strong research and publication record(e.g., IEEE S&P, USENX Security, CCS, andPLDI), with the ability to lead projects and communicate results clearly in written and oral form.

PREFERRED QUALIFICATIONS:

1. Familiarity with LLVM‑based static analysis, pointer/value‑flow analysis, constraint solving, or program optimization.

2. Familiarity with Rust, C/C++ interoperability, foreign‑function interfaces, ownership/borrowing, or memory‑safety research.

3. Hands‑on experience with software isolation, sandboxing, systems security, or experimental evaluation of real-world software.

About Us

Tulane University is an equal opportunity educator and employer committed to providing an education and employment environment free of unlawful discrimination, harassment, and retaliation. Legally protected demographic classifications (such as a person’s race, color, religion, age, sex, national origin, shared ancestry, disability, genetics, veteran status, or any other characteristic protected by federal, state, or local laws) are not relied upon as an eligibility, selection or participation criteria for Tulane’s employment or educational programs or activities.
Tulane University is responsible for providing reasonable accommodations to individuals with disabilities throughout the applicant screening process. If you need assistance in completing an application or during any phase of the interview process, please contact the Office of Human Resources by phone at 504-865-4748 or by email at [e-mail].

If you are a current Staff, Faculty, Student Employee or Affiliate, DO NOT apply through this site. Please log into WaveWorks with your Tulane SSO and apply in the \"Opportunity Marketplace.\"