Research Assistant/Associate in Specification Testing

University of Cambridge

Posted: 21 October 2026 - Cambridge, United Kingdom

View on cam.ac.uk Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

Join the Department of Computer Science and Technology as a Research Assistant/Associate focusing on specification testing. The role involves advancing runtime testing of separation-logic specifications for C code. Candidates should have a PhD or be close to submission, along with good programming and communication skills. Flexible working options are available.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.

Related openings

More at University of Cambridge More in United Kingdom More in computerscience More about specification testing Browse all open jobs