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
C Specification Testing Researcher Runtime Tooling in Cambridge employer: University of Cambridge
The University of Cambridge offers a dynamic and collaborative work environment, particularly within the Department of Oncology, where you will play a pivotal role in advancing cancer research. With a strong emphasis on employee growth, you will have access to professional development opportunities and the chance to work alongside leading experts in the field. The university's commitment to innovation and excellence ensures that your contributions will have a meaningful impact on clinical care and research outcomes.
