243 proof-checking-postdoc-computer-science-logic Fellowship positions at Nanyang Technological University
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
Globally recognized as a leading research and technology organization, the Nanyang Environment and Water Research Institute (NEWRI) addresses national priorities through its diverse expertise in
-
School of Electrical and Electronic Engineering is one of the founding Schools of the Nanyang Technological University. Built on a culture of excellence, the School is renowned for its high academic
-
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
-
School of Electrical and Electronic Engineering is one of the founding Schools of the Nanyang Technological University. Built on a culture of excellence, the School is renowned for its high academic
-
School of Electrical and Electronic Engineering is one of the founding Schools of the Nanyang Technological University. Built on a culture of excellence, the School is renowned for its high academic
-
Join Our Team at the School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore The School of Physical and Mathematical Sciences (SPMS) at NTU Singapore hosts research
-
At the Air Traffic Management Research Institute (ATMRI) (http://atmri.ntu.edu.sg/), Nanyang Technological University, you will be part of a research team to study the use of Artificial Intelligence and Data Analytics in Air Traffic Management Systems. The selected candidate will work on...
-
for the quality of its medical expertise, facilities and teaching. The Neuroscience and the Mental Health Program is one of the leading research programs in the medical school. The key objective is to conduct both
-
Centre for Advanced Robotics Technology Innovation (CARTIN) is looking for a candidate to join them as a Research Fellow. Key Responsibilities: Develop novel algorithms for multi-agent inverse
-
informatics approaches (e.g., machine learning, Bayesian statistics) and spatial data processing and analysis skills would be of advantage. Expertise in Stata, R, or other analytic tools. Strong communication