Research Associate: Runtime Specification Testing for C

The University of Cambridge is inviting applications for a Research Assistant/Associate to work on specification testing under Professors Peter Sewell and Neel Krishnaswami. The role focuses on runtime testing of separation-logic specs for C and the Fulminate tooling for CN runtime testing.

Applicants should have a PhD (or near submission) and strong publication records, with good programming and communication skills. Fixed-term for 1 year, with flexible/part-time working possible.

#J-18808-Ljbffr…