5 formal-method-phd positions in Singapore

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

Nanyang Technological University | Singapore, | Singapore | about 7 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 (Brain Health Lab - Paediatrics)

National University of Singapore | Singapore | about 13 hours ago

new models of examining the data To provide teaching to junior staff in the lab in neuroscience-related research methods, especially in pre-processing and processing of EEG data from infants/children

Research Associate (Qualitative Research)

National University of Singapore | Singapore | 3 months ago

Healthcare. Health policy intelligence: health policy impact analysis aimed at policy makers, service providers, researchers, and the wider public. Capacity building: formal postgraduate programme (from

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

Nanyang Technological University | Singapore, | Singapore | 7 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