Research Fellow - Formal Verification, Machine Learning & AI Assurance

About the role

Nanyang Technological University, Singapore (NTU Singapore) is seeking a Research Fellow to carry out research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving the correctness, robustness and reliability of deep neural networks and AI-enabled software systems.

Key responsibilities

• Develop novel methods and algorithms for the verification, testing and robustness analysis of deep neural networks and AI-enabled systems.
• Explore techniques such as abstraction, invariant learning, convex approximation, symbolic analysis and high-dimensional geometric analysis to improve the scalability and precision of AI verification.
• Evaluate the developed techniques through experiments, benchmark datasets and real-world AI applications.
• Publish research findings in reputable conferences and journals, and prepare project reports and technical 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.
• Demonstrated ability to conduct independent research and develop novel research methods.
• Proven research track record with publications in reputable conferences or journals.
• Ability to work independently and collaboratively, with good analytical, communication and mentoring skills.