Research Associate / Senior Research Associate: The University of Cambridge invites applications for a Research Associate or Senior Research Associate to join a collaborative research project at the intersection of category theory and machine learning. Hosted within the Department of Computer Science and Technology, successful candidates will contribute to innovative work on applying category-theoretic insights to proof construction and theorem proving, working alongside Jamie Vicary’s research group. The initial appointment is for two years. (University of Cambridge)
Research Associate / Senior Research Associate – Category Theory and Machine Learning (Fixed-Term)
Summary Table
| Item | Details |
|---|---|
| Title | Research Associate / Senior Research Associate – Category Theory and Machine Learning (Fixed-Term) |
| Designation | Research Associate or Senior Research Associate (subject to criteria and Faculty Board approval) |
| Research Area | Category theory, type theory, proof assistants, and machine learning (graph neural networks, generative models, neural algorithmic learning) |
| Location | Department of Computer Science and Technology, University of Cambridge, UK |
| Eligibility / Qualifications | PhD in mathematics, computer science, or related discipline; strong expertise in at least one of: (1) logical methods (e.g., category theory, type theory, proof assistants), (2) machine learning (e.g., graph neural networks, generative models, neural algorithmic learning) |
| Job Description | Conduct interdisciplinary research applying category theory to machine learning for proof construction and theorem proving; collaborate closely with Jamie Vicary’s research group |
| How to Apply | Apply online via the University’s recruitment system; submit CV, contact details for two referees, and a one-page cover letter explaining how you meet the role requirements. Quote reference NR46937. |
| Last Date to Apply | 5 September 2025 |
| Additional Info | The University provides reimbursement for the first visa cost. Equality, diversity, and inclusion are strongly encouraged; applicants must be eligible to live and work in the UK. (University of Cambridge) |
Designation
Appointment may be made as Research Associate or Senior Research Associate (or equivalent), depending on the candidate’s qualifications and subject to Faculty Board approval. (University of Cambridge)
Research Area
This is a cross-disciplinary role combining:
- Logical methods in Computer Science: category theory, type theory, proof assistants.
- Machine Learning: including graph neural networks, generative networks, neural algorithmic learning.
The core focus is on applying category-theoretic frameworks to enhance proof construction and theorem proving via machine learning techniques. (University of Cambridge)
Location
Department of Computer Science and Technology
University of Cambridge, UK. (University of Cambridge)
Eligibility / Qualifications
- PhD in mathematics, computer science, or a closely related field.
- Strong expertise in either logical methods (e.g., category theory, type theory, proof assistants) or in machine learning (e.g., graph neural networks, generative models, neural algorithmic learning), with genuine interest in expanding knowledge across both domains. (University of Cambridge)
Job Description
You will join a team led by Jamie Vicary in Cambridge’s Department of Computer Science and Technology to explore new intersections between category theory and machine learning. The research involves developing machine learning methods tailored to proof construction and theorem proving, underpinned by category-theoretic concepts. There may be multiple openings available. (University of Cambridge)
How to Apply
- Click the “Apply” button to register (if not already registered) and submit your application through the recruitment system.
- Required application materials:
- Curriculum Vitae (CV)
- Contact details for two referees (they may be contacted during evaluation)
- A one-page cover letter outlining how you meet the role’s requirements.
- Additional documents not requested will not be considered.
- Please quote ** reference NR46937** in your application and any related correspondence.
- The University supports equality, diversity, and inclusion, and encourages applications from all backgrounds. Visa costs for first-time employment at the Department will be reimbursed. Candidates must be eligible to live and work in the UK. (University of Cambridge)
Last Date to Apply
Closing date: 5 September 2025. (University of Cambridge)
