This list contains only the countries for which job offers have been published in the selected language (e.g., in the French version, only job offers written in French are displayed, and in the English version, only those in English).
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.
Job Responsibility:
Conduct cutting-edge research in programming language design, compiler architecture, and systems implementation
Develop efficient compiler technologies, including translation of high-level constructs into optimized bytecode and native code
Design and prototype runtime systems with advanced capabilities in memory management, resource allocation, and concurrency control
Collaborate with external research institutions, Microsoft product teams, and the broader academic community
Publish in top-tier venues and contribute to shaping the future of secure systems programming
Requirements:
Solid experience in systems programming with languages such as C, C++, or Rust
Expertise in runtime systems, memory management, concurrency models, and compiler design
Demonstrated ability in designing, implementing, and debugging complex language features or compiler components for large-scale projects
Strong problem-solving skills and clear, effective technical communication