Research Associate: £32,816 - £40,322 or Senior Research Associate: £41,526 - £52,559
Fixed-term: The funds for this post are available for 2 years.
Applications are invited for a Research Associate (PostDoc) or Senior Research Associate to focus on the working on the CAS (Combinators for Algebraic Structures) project, https://www.cl.cam.ac.uk/~tgg22/CAS.
The ideal candidate would hold a Ph.D. in Computer Science or Mathematics and have solid experience with OCaml and the Coq (pronounced like "Coke") theorem prover, although experience with other theorem provers will be acceptable.
The CAS project is using Coq to implement a language of combinators that can be used to construct complex algebraic structures for solving generalized path-finding problems. Such structures include semirings and their generalisations. The key idea of CAS is that the structures built with combinators carry proofs of their algebraic properties. Coq's extraction to OCaml is then used to build an OCaml library where the combinators produce structures with certificates of correctness.
The postdoc will be involved in all aspects of design and implementation extending an existing prototype. This will include the development of new combinators, designing Ocaml interfaces to increase usability, and developing test cases.
The CAS project was initially inspired by problems arising in the design of network routing protocols and this area of applications has motivated the current choice of combinators in CAS. However, we expect that the system will find other applications in areas such as optimisation and Operations Research.
Past funding has come from EPSRC, Cisco, and Boeing. This position will be funded with a gift from Huawei.
Further details may be obtained from Professor Tim Griffin (firstname.lastname@example.org).
Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.
Please provide a Curriculum Vitae and a covering letter. If you upload any additional documents which haven't been requested, we will not be able to consider these as part of your application.
Please quote reference NR26248 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.Apply online