Postdoctoral Fellow - Computer Science (Ming)

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

Job summary

Tulane University in New Orleans invites applications for a Postdoctoral Fellow in Computer Science to work with Dr. Jiang Ming’s group on language-based security research transitioning legacy C/C++ to Rust.

The role involves prototype development with modern compiler and program-analysis tools, supervising graduate and undergraduate researchers, and contributing to reproducible research artifacts. The position is for one year with potential extension, starting October 2, 2026, contingent on

Qualifications

• PhD in computer science, computer engineering, or a related area.
• Hands-on research in software security, program analysis, compilers/programming languages, or related areas.
• Strong publication record with ability to lead projects and communicate results clearly in written and oral form.

Responsibilities

• 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.
• Position is initially for one year with potential extension, subject to funding.

Skills

PhD in CS/CE

Software security research

Publications

Education

PhD in CS/CE

Job description

Postdoctoral Fellow - Computer Science (Ming)

New Orleans, LA, United States

Be the First to Apply

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