Research Fellow – Formal Verification & AI Assurance

About the role

NTU Singapore is seeking a highly motivated Research Fellow to advance formal verification, machine learning, and AI system assurance. The role focuses on developing novel techniques to analyse, verify, and improve the robustness of deep neural networks and AI‑enabled software.

Key responsibilities

• Design and implement new algorithms for verification, testing, and robustness analysis of deep neural networks and AI‑enabled systems.
• Investigate abstraction, invariant learning, convex approximation, symbolic analysis, and high‑dimensional geometric analysis to enhance scalability and precision of AI verification.
• Conduct experimental evaluation using benchmark datasets and real‑world AI applications.
• Publish research outcomes in reputable conferences and journals, and prepare technical reports and deliverables.
• Collaborate with the Principal Investigator, research team, and external partners while mentoring junior researchers and students.

Required profile

• PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline.
• Proven ability to conduct independent research and develop novel methods.
• Strong publication record in reputable conferences or journals.
• Excellent analytical, communication, and mentoring capabilities.

Required skills

• Formal verification
• Machine learning
• AI system assurance