
Search by job, company or skills
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 leading college that is known for its excellent curriculum, outstanding and impactful research, and world-renowned faculty.
A hot bed of cutting-edge technology and groundbreaking research, the College aims to groom the next generation of leaders, thinkers, and innovators to thrive in the digital age. Located in the heart of Asia, NTU's College of Computing and Data Science is an exciting place to learn and grow. We welcome you to join our community of faculty, students and alumni who are shaping the future of AI, Data Science and Computing.
Key Responsibilities:
Conduct original research on algebraic and categorical methods for describing and reasoning about modern AI systems.
Formulate and verify mathematical properties of AI systems using rigorous, algebraic and code-based methods.
Apply the developed framework to representative contemporary AI models to assess practical impact.
Develop and implement software tools for formalising AI models, including integration with proof assistants and modern machine learning frameworks.
Publish research findings in leading academic venues and contribute to the dissemination of project outcomes.
Collaborate with the Principal Investigator and participate in the wider research activities of the department.
Job Requirements:
Masters in Mathematics, Computer Science, or equivalent.
Independent, highly analytical, proactive and a team player.
Excellent teamwork and verbal, written communication skills.
In-depth knowledge relevant to the project domain.
Demonstrated capability to conduct innovative research.
Demonstrated ability to formulate hypothesis and design effective research plans.
Ability to initiate collaboration research in multidisciplinary team.
Oversee and report project progress.
Ability and willingness to work some flexible hours.
We regret that only shortlisted candidates will be notified.
Job ID: 143671273