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.

Job Requirements:

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.

We regret to inform that only shortlisted candidates will be notified.

Hiring Institution: NTU

Research Fellow (Computer Science / Software Engineering / Artificial Intelligence)