The Data Processing Unit (DPU) team brings together state-of-the-art software and hardware expertise to create a highly programmable and high-performance ASIC with the capability to efficiently handle large data streams. Thanks to its integrated design, this solution empowers teams to operate with increased agility and deliver significantly superior performance compared to CPU-based alternatives. We are integrating this groundbreaking capability into our Azure cloud products. We invite you to join our team and apply your expertise in formal methods to implement proven approaches that enhance productivity and deliver the next generation of Confidential Compute.
As a Principal Software Engineer and member of our DPU Runtime Operating System team, you will be responsible for developing cutting edge, high-performance, scalable and programmable DPU software that applies and utilizes formal methods to output highly reliable code and runtime configuration.
You will be spearheading efforts within our DPU Confidential Compute team, focusing on the development, maintenance, and review of software for the creation of advanced tools that ensure precise confidential computing system configurations from specification through deployment. This role is also tasked with investigating the broader application of formal methods to enhance productivity and minimize manual effort.
Microsoft’s mission is to empower every person and every organization on the planet to achieve more. As employees we come together with a growth mindset, innovate to empower others, and collaborate to realize our shared goals. Each day we build on our values of respect, integrity, and accountability to create a culture of inclusion where everyone can thrive at work and beyond.
