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
Research Associate: Runtime Specification Testing for C in Cambridge employer: Camwebdir
Arm is an exceptional employer that fosters a diverse and inclusive work culture, encouraging collaboration across multiple countries in western Europe. With flexible working practices and a strong commitment to employee wellbeing, we empower our teams to shape the future of AI on edge devices while providing ample opportunities for professional growth and influence within the tech community. Join us to be part of a pioneering team that values innovation and supports your journey in the rapidly evolving field of machine learning.
