6 formal-method-phd positions in Singapore

Research Fellow (Robotic Communication Protocol Design)

Nanyang Technological University | Singapore, | Singapore | 20 days 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 (Formal Method based Robotic Controller Design)

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

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

Research Fellow (Brain Health Lab - Paediatrics)

National University of Singapore | Singapore | about 8 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 | about 2 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 | about 4 hours 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

Research Associate (Psychometrician)

National University of Singapore | Singapore | 2 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