4 formal-method-phd Fellowship research jobs at Nanyang Technological University in Singapore
Sort by
Refine Your Search
-
into products and services for Continental through close collaboration with its business units. Key Responsibilities: Conducting the research in AI domains and formal methods Applying the developed research ideas
-
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
-
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
-
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