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‑edge research in programming language design, compiler architectu...