Company: University of Cambridge
Location: Cambridge
Job Description:
University of Cambridge in Cambridge is seeking a Research Assistant/Associate to advance runtime testing of separation-logic specifications for C code. The project, led by Professors Peter Sewell and Neel Krishnaswami, emphasizes collaboration across a large team and development of the Fulminate tooling.
Candidates should have a PhD (or be close to submission) with a strong publication record in separation-logic testing and good programming skills.
#J-18808-Ljbffr…
Posted: October 21st, 2026