A leading university in the UK seeks a Research Assistant/Research Associate for developing verified compiler infrastructure. The role requires a PhD or MSc in Computer Science. Responsibilities include contributing to foundational technology and engaging with the open-source community. Ideal candidates will have a track record in relevant scientific publications and excellent English skills. Join a collaborative research team working on innovative projects related to cryptography and compiler design. #J-18808-Ljbffr