252 proof-checking-postdoc-computer-science-logic Fellowship research jobs at Nanyang Technological University
Sort by
Refine Your Search
-
Listed
-
Country
-
Field
-
to the project. Job Requirements: PhD degree in Computer Science, Electrical and Electronic Engineering, or related field. Min 3 years of relevant experience in computer vision, artificial intelligence, etc
-
Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is ranked among the world’s top universities. NTU’s College of Computing and Data Science (CCDS) is a
-
or related field Familiarity with concepts in theoretical computer science and game theory Good written and oral communication skills Competent in deriving mathematical proofs Ability to work independently and
-
Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is ranked among the world’s top universities. NTU’s College of Computing and Data Science (CCDS) is a
-
duties as assigned by the Centre Director and Assistant Director Job Requirements: PhD in Computer Science, Cognitive Neuroscience, Life Sciences, Engineering or a related field Minimum 3 - 5 years
-
The School of Chemistry, Chemical Engineering and Biotechnology (CCEB) invites applications for the position of Research Fellow. Our research group focuses on developing advanced membranes and
-
Engineering, Automation, Mechanical Engineering, Control Engineering, Mechatronics, Computer Science, AI, etc. Strong background in autonomous driving, deep learning, interaction modelling, prediction, robotics
-
Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is ranked among the world’s top universities. NTU’s College of Computing and Data Science (CCDS) is a
-
PDEs arising from emerging applications. The hire is in line with a university wide initiative to advance the application of Computational Science in interdisciplinary research. Key Responsibilities
-
superlattices (twistronics). The role will focus on developing and applying theoretical models and computational quantum chemistry and machine learning methods to uncover novel properties and phenomena in low