-
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
-
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
-
training workflows, including experiment tracking, checkpointing, training monitoring, debugging, profiling and compute optimisation. Review frontier AI and LLM research papers, reproduce relevant methods
-
and algorithms, formal methods, probability and measure theory. For senior research fellow role, candidates must hold a relevant PhD with significant track record of research excellence and substantial