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

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

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

Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Demonstrated ability to conduct independent research and develop novel research methods

Research Fellow (Artificial Intelligence)

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

to improve the software engineering process in AUMOVIO-NTU, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods techniques (especially program