Overview 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. Responsibilities Partner with appropriate stakeholders and the DPU Confidential Compute team to determine user requirements for a set of scenarios. Lead identification of dependencies, architecture, design, and development of formal methods software tools that guarantee accurate confidential computing system configurations from specification to deployment, ensuring proper software and hardware setup for data protection without extensive manual attestation. Develop a roadmap and strategy for applying formal methods to existing code bases that improves productivity and correctness of implementation, resulting in high quality, bug free code. Work closely with the DPU ASIC and Software teams on co-development of next generation Silicon and software features that benefit from the application formal methods. Lead by example and mentor others to produce extensible and maintainable code used across products. Leverage subject-matter expertise of cross-product features with appropriate stakeholders (e.g., project managers) to drive multiple group's project plans, release plans, and work items. Proactively seek new knowledge and adapt to new trends, technical solutions, and patterns that will improve the availability, reliability, efficiency, observability, and performance of products while also driving consistency in monitoring and operations at scale and share knowledge with other engineers.