Research Fellow / Senior Research Fellow

IMPERIAL RESEARCH AND INNOVATION SINGAPORE LTD.

D01 Cecil, Marina, People’s Park, Raffles Place, 9 RAFFLES PLACE REPUBLIC PLAZA 048619
Sgd 6,000 - 12,000 / monthly pm
On-site
Software analysis
Machine learning
International conferences
Imperial College London and the National University of Singapore are seeking (Senior) Research Fellows for their Program Reasoning project, which focuses on developing cutting-edge AI methods for reasoning about software and formal systems. Candidates should have a strong background in areas such as programming languages, formal verification, and machine learning, and will contribute to research that bridges theory and practical applications

Job Summary

  • Program Reasoning sits at the intersection of artificial intelligence, programming languages, formal methods, and automated reasoning
  • This includes exploring how modern machine learning methods can work alongside symbolic and formal reasoning techniques to address challenging problems in software and program analysis
  • The project offers a unique opportunity to work on cutting-edge problems around the use of AI for rigorous reasoning about programs, combining theoretical depth with practical impact

Matching Summary

Match Score: 85

Imperial College London and the National University of Singapore are seeking (Senior) Research Fellows for their Program Reasoning project, which focuses on developing cutting-edge AI methods for reasoning about software and formal systems. Candidates should have a strong background in areas such as programming languages, formal verification, and machine learning, and will contribute to research that bridges theory and practical applications.

Salary

SGD 6,000 - 12,000 / Monthly

Skills & Requirements

Must-have

  • Software Analysis
  • Machine Learning
  • International Conferences
  • Mathematics
  • Artificial Intelligence

Nice-to-have

  • Computer Science
  • Research Methodology
  • Journals
  • Project Progress Reports
  • Research

Key Requirements

  • Minimum 2 years experience

Work Rights

Tailored Resume

Cover Letter