Principal Formal Design Verification Engineer
Microsoft · Posted Oct 15
Software, cloud computing, artificial intelligence, and hardware services
Get a personal compatibility score
Add a resume for personal matches
About the role
Microsoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) builds the core infrastructure and foundational technologies behind Microsoft's Intelligent Cloud, serving over 200 online businesses including Azure, Office 365, Teams, and Xbox Live. The Compute Silicon & Manufacturing Engineering (CSME) organization designs, develops, and manufactures Microsoft's custom silicon, including Azure Cobalt, and the Verification & Validation team defines and delivers operational measures of success for cloud hardware. This Principal Formal Design Verification Engineer role will drive formal verification strategy and execution for complex IP and SoC designs, including Fabric Interconnect architectures, and mentor engineers on verification methodologies.
What you will do
- Own or lead Formal verification of Fabric Interconnect architectures, IPs, subsystems, and reusable Fabric components from planning through signoff.
- Partner with architecture, design, and verification teams to define Formal verification strategies, methodologies, test plans, and signoff criteria.
- Develop and enhance Formal verification environments, assertions, abstraction models, checkers, and reusable verification collateral, while driving convergence an execution to closure
- Drive root-cause analysis and closure of complex design and verification issues through Formal analysis, simulation, and debug.
- Improve verification productivity through automation, methodologies, and AI-assisted solutions.
- Coach and mentor engineers in Formal verification methodologies, debug techniques and best practices.
- Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion.
Skills used in this role
What the employer is looking for
- 12+ years of relevant technical engineering experience
- Candidate must have at least a bachelor’s or master’s degree in electrical, Electronics, Computer Engineering, Computer Science or a related degree
- 5+ years of hands-on pre-silicon Formal verification experience at the IP, subsystem, or SoC level.
- 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.
- This role will require access to information that is controlled for export under export control regulations, potentially under the U.S. International Traffic in Arms Regulations or Export Administration Regulations, the EU Dual Use Regulation, and/or other export control regulations. As a condition of employment, the successful candidate will be required to provide either proof of their country of citizenship or proof of their US. residency or other protected status (e.g., under 8 U.S.C. 1324b(a)(3)) for assessment of eligibility to access the export-controlled information. To meet this legal requirement, and as a condition of employment, the s...
Preferred qualifications
- Demonstrated expertise applying Formal verification methodologies to complex IPs, subsystems, SoCs, or reusable library components.
- Deep technical expertise in one or more of the following: Fabric Interconnects, coherency, CHI, AMBA, PCIe, CXL, protocol bridges, virtualization, security, or memory subsystems.
- Experience driving verification from planning through signoff across multiple product cycles.
- Experience developing scalable Formal verification environments, assertions, assumptions, checkers, and reusable verification collateral.
- Experience solving complex cross-team technical challenges and driving verification closure.
- Working knowledge of simulation-based verification methodologies, including System Verilog, UVM, assertions, and coverage-driven verification.
- Proficiency with Python or similar scripting languages for automation and verification productivity.
- Experience applying AI-assisted tools to engineering and verification workflows
Benefits and support
- Compensation and benefits are detailed in the job posting
About Microsoft
Microsoft Corporation is a multinational technology company that develops, licenses, and supports a wide range of software products, services, and hardware devices. Best known for its Windows operating systems, Microsoft 365 productivity suite, and Xbox gaming consoles, the company has expanded heavily into enterprise cloud computing via Azure and advanced artificial intelligence solutions. As one of the world's most valuable public enterprises, it empowers individuals and businesses globally through innovative digital transformation.
- Industry
- Software
- Company size
- 228,000+ employees
- Founded
- April 4, 1975
- Location
- Redmond, Washington, USA
- Funding stage
- Public Company
Leadership
Chairman and Chief Executive Officer
Chief Financial Officer
Vice Chair and President
Recent coverage
GeekWire
Microsoft makes 'biggest bet yet' on its own silicon, unveils new AI chip to reduce reliance on Nvidia2026-10-12
Krebs on Security
Microsoft Patches More Than 1,400 Security Flaws in Massive October Update2026-10-13
Microsoft News
Introducing the new Copilot with Home, Code and Autopilot2026-09-25
Microsoft Azure Blog
Microsoft expands Azure AI and HPC infrastructure with AMD2026-07-20