Postdoctoral Fellow - Computer Science (Ming)

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.