Cambridge Residency Programme - Microsoft

Microsoft
Microsoft
Verified Company
Cambridge, United Kingdom

4 weeks ago

Tom O´Connor

Posted by:

Tom O´Connor

beBee Recruiter
Description

Microsoft's Azure Research is seeking a world-class Postdoctoral Researcher with expertise in the design, implementation, and/or verification of critical systems to join our Security and Privacy team in Cambridge, UK.


  • New system software, languages, runtimes, protocols, and libraries that can guarantee safety and security by construction;
  • New services such as databases, ledgers, and machine learning platforms that utilize these highassurance components to ensure endtoend security properties;
  • New security primitives in general purpose processors and specialized accelerator hardware;
  • New analysis and tools for sidechannel resilience and privacy.
We place strong emphasis on artefacts that can be deployed at scale in the real world. We work in close collaboration with external and internal research organizations, as well as with Microsoft product teams.

Please find more information about our team and its current focus areas through the projects and publications pages at Azure Research - Security and Privacy Microsoft Research.


As a key member of our innovative team, you will play a crucial role in advancing the field of security, privacy and confidential computing.


Responsibilities:


Conduct cutting-edge research in the areas of systems and verification with a focus on enhancing the security and performance of cloud computing environments, leading to top-tier publications.

Design, develop, and implement tools and prototypes that experimentally validate this research.


Work closely with cross-functional teams, including software engineers, security experts, and data scientists, to integrate research findings into practical solutions for security and privacy in the cloud.


Qualifications:


Required/Minimum Qualifications:


  • Ph.
D. and research experience in Security and Privacy, Operating Systems, Formal Verification, Computer Architecture, and/or Cryptography.

  • Proven track record of conducting impactful research in these areas, demonstrated through publications in toptier conferences and journals.
  • Proficiency in programming languages such as C and Rust, and their use in operating systems, virtualization, or cryptographic protocols and libraries, is highly desirable.
  • Demonstrated ability to analyse complex problems, propose innovative solutions, and implement them effectively.
  • Strong collaboration and communication skills, with the ability to work effectively in a multidisciplinary team and present research findings to both technical and nontechnical audiences.
More jobs from Microsoft
See all jobs of Microsoft