Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
-
Field
-
interests and goals at https://Singaporebrainhealth.org. The Principal Investigator prioritizes teaching (e.g., meets with team members regularly), rigorous methodology, and active collaborations within and
-
deployment enabling validation and demonstration of real-world applications. For more details, please view https://www.ntu.edu.sg/erian You will be part of a dynamic research team working on topics relevant
-
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
-
education. We are seeking a motivated and talented Research Fellow to join the laboratory of Assistant Professor Sho Suzuki and contribute to an exciting research program in the biophysical characterization
-
development of Velvet, a deductive program verifier embedded in Lean 4, within the Verification and Programming Languages group at NUS. Key Responsibilities: Implementing and testing new verification features
-
systems. The role involves developing scalable binary analysis frameworks, AI-driven program understanding techniques, and automated security testing pipelines for embedded MCU and SOC platforms
-
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
-
, Computer Engineering, or a related field. Strong background in smart contract security, blockchain systems, or software security. Experience in program analysis, formal methods, or vulnerability detection
-
(SingFarm)—a CREATE-NRF programme focused on building a sustainable, data-driven food production model with strong industry relevance to contribute Singapore’s ambition in achieving 20 per cent local
-
, Computer Science, or related field, with strong background in machine learning. Publications in top-tier journals and/or conference presentations as first author. Proficiency in AI programming languages