Responsibilities (Text Only) - 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. Qualifications (Text Only) Required Qualifications: - Bachelor's Degree in Computer Science or related technical field AND 6+ years technical engineering experience with coding in languages including, but not limited to, C, Python, Lustre, and F star - OR equivalent experience. - 3+ years of experience implementing formally verified software or tools, with experience applying it to large scale commercial systems and teams. - 3+ years of experience developing domain specific languages and compilers, and deploying them for use within an engineering organization. - 2+ experience applying and automating formal methods to reduce engineering development costs, defect rate, and on-going maintenance costs. Other Qualifications: - Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not limited to the following specialized security screenings: - Microsoft Cloud Background Check: This position will be required to pass the Microsoft Cloud Background Check upon hire/transfer and every two years thereafter. Preferred Qualifications: - Bachelor's Degree in Computer Science - OR related technical field AND 10+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, - OR Python - OR Master's Degree in Computer Science or related technical field AND 8+ years technical engineering experience with coding in languages including, but not limited to, C, C++, C#, Java, JavaScript, or Python - OR equivalent experience. - 2+ years of experience with modern CPU architecture - 1+ years of experience formally verifying hardware designs or applying formal verification to hardware - 1+ year(s) experience with pre and post Silicon Software Development Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a requestvia the Accommodation request form. Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.