UK Residency Programme - Postdoctoral Researcher in Secure Programming Language

**Overview**



**Microsoft Azure Research** conducts pioneering research in the design and analysis of systems that guarantee strong security, safety, and privacy properties for cloud users. Our team in **Cambridge, UK** is seeking a highly motivated **Postdoctoral Researcher** to join **Project Verona** —an ambitious initiative to design and implement a next‑generation systems programming language engineered for secure, safe, and efficient cloud infrastructure.



Project Verona is a groundbreaking research project that explores innovative approaches to memory safety, concurrency control, and resource management, addressing fundamental challenges in building robust and scalable cloud‑scale systems.



**Location:** Cambridge, United Kingdom

**Contract Length:** 2 years



**Responsibilities**



As a Postdoctoral Researcher on Project Verona, you will:



+ Conduct cutting...