240 software-formal-method-phd Fellowship positions at Nanyang Technological University
Sort by
Refine Your Search
-
Listed
-
Field
-
-reduced-order model. (4) Developing software for transferring the modeling with a simplified User Interface. Key Responsibilities: Actively support the Principal Investigator in project R&D, management
-
the advanced solutions to real-world applications such as cyber security compliance. Job Requirements: Preferably PhD in Computer Engineering, Computer Science, Electronics Engineering or equivalent. Independent
-
the advanced solutions to real-world applications such as cyber security compliance. Job Requirements: Preferably PhD in computer engineering, Computer Science, Electronics Engineering or equivalent. Independent
-
(iii) multimedia forensics & biometrics. Resources at the ROSE Lab consist of NTU faculty, researchers, PhD students, and visiting researchers from other institutions from around the world, as
-
these methods to heart disease modeling using multimodal clinical data. Work with PhD students and research staff to solve related research problems; oversee and report project progress. Job Requirements
-
, benchmarking, and large-scale evaluation of proposed methods Publish high-quality research outcomes in top-tier international conferences and journals Collaborate with faculty, postdoctoral researchers, and PhD
-
manuscript writing Job Requirements: Master/PhD qualification degree in chemistry, chemical engineering, materials chemistry or related field At least 2 years of relevant experiences in thermal catalyst
-
quantitative methods to measure and price climate-related risks in financial markets and to assess the economic and financial impacts of climate policies. Contribute to the preparation of academic manuscripts
-
external fundings when appropriate. Job Requirements: Preferably PhD in Computer Engineering, Computer Science, Electronics Engineering or equivalent. Independent, highly analytical, proactive and a team
-
-driven methods. The role will focus on developing intelligent methods and operation-support tools for ATM applications, contributing to the advancement of research and innovation at Nanyang Technological