235 formal-verification-computer-science Fellowship research jobs at Nanyang Technological University
Sort by
Refine Your Search
-
RIE2025. The Laboratory’s objective is to propel Innovation and Technologies commercialisation through NTU’s innovation and NTI’s deep technology. NTI-NTU Corporate Laboratory aligns with Singapore’s
-
RIE2025. The Laboratory’s objective is to propel Innovation and Technologies commercialisation through NTU’s innovation and NTI’s deep technology. NTI-NTU Corporate Laboratory aligns with Singapore’s
-
) who is highly skilled in and deeply passionate about computational electromagnetism and mathematical physics/engineering. The SRF should have strong background in computational methods for solving
-
contribute to grant proposals and progress reports. Collaborate with interdisciplinary teams within CQT and with external academic and industry partners. Requirements PhD in Physics, Engineering, Computer Science
-
deployment enabling validation and demonstration of real-world applications. For more details, please view https://www.ntu.edu.sg/erian We are looking for a Research Fellow to conduct a project in a multi
-
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
-
Medical School. In August 2024, we welcomed our first intake of the NTU MBBS programme, that has been recently enhanced to include themes like precision medicine and Artificial Intelligence (AI) in
-
The School of Materials Science and Engineering (MSE) provides a vibrant and nurturing environment for staff and students to carry out inter-disciplinary research in key areas such as Computational
-
Research Fellow / Associate Research Fellow / Senior Analyst / Research Analyst (Maritime Security Programme) The S. Rajaratnam School of International Studies (RSIS), a Graduate School of Nanyang
-
The School of Mechanical & Aerospace Engineering (MAE) invites applications for the position of Research Fellow to undertake a project to develop efficient theoretical, numerical and experimental