2 software-formal-method-phd Fellowship positions at Nanyang Technological University

Research Fellow (Artificial Intelligence)

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

and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods

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

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