Research Associate - Refinement Types for Program Verification (Fixed Term)
Fixed-term: The funds for this post are available until 30 September 2026.
The TypeFoundry project, led by Professor Neel Krishnaswami, is looking for a postdoctoral researcher with expertise in refinement type systems, both in the theoretical and practical implementation aspects.
The goal of this project is to develop and implement advanced type systems with the aim of making program verification easier and more accessible to working developers. There is likely to be a particular focus on the CN tool, which is being co-developed with Dr Christopher Pulte. We are interested in a variety of questions, such as understanding the theoretical basis of resource inference, improving the scope of decidable verification in the presence of user-defined functions and data structures like arrays, learning whether error messages can be improved in a principled, foundational way, seeing if it is possible to reduce the size of the trusted code base, integrating manual with automated proof, and indeed actually applying these tools to the verification of actual systems code.
The ideal candidate will have a PhD in computer science, and demonstrated expertise in some subset of proof theory, type theory, denotational semantics, categorical logic, and program logics such as separation logic. bidirectional type systems, focalized sequent calculi, and related topics.
Applicants should contact Professor Neel Krishnaswami for further information at: nk480@cam.ac.uk
If you have any queries about the application process please contact personnel-admin@cst.cam.ac.uk.
Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK. Please note that we provide the support of applying for the relevant visa (if required) and we reimburse the cost of the first visa.
Please quote reference NR44050 on your application and in any correspondence about this vacancy.
The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK.