Experience with formal verification and automated theorem proving
**
Imperial Research and Innovation Singapore Ltd. seeks (Senior) Research Fellows for an innovative Program Reasoning research project focused on developing AI methods for software reasoning. The ideal candidates will possess strong backgrounds in AI, programming languages, and formal methods, with opportunities for interdisciplinary collaboration in a dynamic research environment.
**
Job Summary
The role involves conducting independent research on AI methods for reasoning about software, code, and formal systems at the intersection of AI and programming languages.
Candidates will develop novel models, algorithms, and tools to advance trustworthy and interpretable AI systems while contributing to high-quality scientific publications.
This is a collaborative position based in Singapore with opportunities for research visits to Imperial College London, requiring flexibility with time zones.
Matching Summary
Match Score: 75
**
Imperial Research and Innovation Singapore Ltd. seeks (Senior) Research Fellows for an innovative Program Reasoning research project focused on developing AI methods for software reasoning. The ideal candidates will possess strong backgrounds in AI, programming languages, and formal methods, with opportunities for interdisciplinary collaboration in a dynamic research environment.
**
Skills & Requirements
Must-have
PhD in Computer Science or related field
Strong publication record in peer-reviewed venues
Experience with formal verification and automated theorem proving
Expertise in neuro-symbolic AI and LLMs for code
Proficiency in deep learning frameworks and machine learning
Ability to design and evaluate computational experiments
Nice-to-have
Experience supervising undergraduate or postgraduate students
Background in open-source software development
Collaboration on shared research codebases
Knowledge of current trends in AI for program reasoning
Interdisciplinary research experience across AI and CS
Key Requirements
PhD in Computer Science, AI, or related discipline
2-5 years post-doctoral research experience for Senior Fellow