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

Asks for

• abstractionThe ad says“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.”
• analytical skillsThe ad says“Ability to work independently and collaboratively, with good analytical, communication and mentoring skills.”
• artificial intelligence system assuranceThe ad says“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.”
• communication skillsThe ad says“Ability to work independently and collaboratively, with good analytical, communication and mentoring skills.”
• convex approximationThe ad says“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.”
• formal verificationThe ad says“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.”
• high-dimensional geometric analysisThe ad says“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.”
• independent researchThe ad says“Demonstrated ability to conduct independent research and develop novel research methods.”
• invariant learningThe ad says“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.”
• machine learningThe ad says“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.”
• mentoring skillsThe ad says“Ability to work independently and collaboratively, with good analytical, communication and mentoring skills.”
• symbolic analysisThe ad says“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.”