3 formal-method-phd positions at Nanyang Technological University

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

Nanyang Technological University | Singapore, | Singapore | about 11 hours ago

domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting

Research Fellow (Robotic Communication Protocol Design)

Nanyang Technological University | Singapore, | Singapore | about 2 months ago

Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal

Research Fellow (Machine Learning/Probabilistic Programming/AI Safety)

Nanyang Technological University | Singapore, | Singapore | 3 days ago

or Mathematics or Statistics with a strong background in one or more of the following: AI, machine learning, Bayesian statistics, programming languages, logic and algorithms, formal methods, probability and