48 software-verification-postdoc Fellowship research jobs at Nanyang Technological University
Sort by
Refine Your Search
-
, and blockchain-based infrastructures. Formulate novel research methodologies and contribute to the development of secure architectures and verification frameworks for next generation blockchain
-
DeFi, cross-chain interoperability, and blockchain-based infrastructures. Formulate novel research methodologies and contribute to the development of secure architectures and verification frameworks
-
international research grants. Job Requirements: A PhD in Computer Science, Software Engineering, Artificial Intelligence, or a related discipline. Proven research track record demonstrated by publications in top
-
infrastructure security R&D. Job Requirements: A PhD in Computer Science, Software Engineering, Artificial Intelligence, or a related discipline. Proven research track record demonstrated by publications in top
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
deployment in the manufacturing environment. Software & Hardware Integration with the simulation software and the actual manufacturing systems. Publish papers in international robotics and AI conferences as
-
), and Prof Thomas Sotiriou (gravitational waves, black holes, and alternative theories). At any given time, NCoG also includes about 7-8 postdocs and 25 students. Staff are active members of the LIGO
-
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
-
learning or computer vision conferences/journals, such as TPAMI, IJCV, CVPR, ICLR, ICCV, ECCV, NeurIPS, ICML. Strong coding skills in scientific or engineering software like PyTorch, TensorFlow, Keras, etc
-
Responsibilities: Collaborate on application-level and system-level architecture design for AI-oriented software-configurable NoC systems. Design reconfigurable on-chip communication components using emerging