4 proof-checking-postdoc-computerscience PhD positions at University of Cambridge in Uk
-
Associate (PostDoc) to join the Compiler Lab in the Department of Computer Science and Technology at the University of Cambridge, UK. You will work with a team of students and collaborators on the development
-
beyond (happy to support applications of candidates for whom an offer has been made). I will also be recruiting a postdoc in a similar research space for an October 2026 start, so in case you know
-
, and reproduce the visual world. Applicants must contact Prof. Rafal Mantiuk (rafal.mantiuk@cl.cam.ac.uk ) in advance to assess topic and background fit. Please include a CV and a 2-paragraph research
-
Dr. Seaborn (katie.seaborn@cst.cam.ac.uk ) in advance to assess topic and background fit. Please include a CV and 1-page research statement that shows evidence of engagement with this advert and Dr