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

ntu; Singapore; On-site; SGD 60,000 - 95,000; Full time

Job summary

NTU Singapore invites applications for a Research Fellow to advance research in formal verification, machine learning and AI system assurance. You will develop new methods and tools to analyse, verify and improve correctness, robustness and reliability of deep neural networks and AI-enabled software systems.

The role involves conducting independent research, publishing at top conferences and journals, mentoring junior researchers and collaborating with the PI and external partners in a vibrant,

Qualifications

• PhD in Computer Science, Software Engineering, AI or a closely related discipline.
• Demonstrated ability to conduct independent research and develop novel methods.
• Proven track record with publications in reputable conferences or journals.
• Ability to work independently and collaboratively with strong communication and mentoring skills.

Responsibilities

• Develop novel methods and algorithms for verification, testing and robustness analysis of deep neural networks and AI-enabled systems.
• Explore abstraction, invariant learning, convex approximation, symbolic analysis and high-dimensional geometric analysis to improve scalability and precision.
• Evaluate techniques through experiments, benchmark datasets and real-world AI applications.
• Publish research findings in reputable conferences and journals, and prepare project reports and deliverables.
• Collaborate with the PI, research team and external partners, mentoring junior researchers and students.

Skills

Independent researcher

Analytical thinking

Communication skills

Mentoring

Education

PhD in Computer Science or related field

Job description

Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is ranked among the world's top universities. We are seeking a highly motivated Research Fellow to conduct 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.

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

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