We are seeking an experienced Formal Verification Engineer with 7+ years of expertise in SoC/IP verification using formal methods. The ideal candidate will drive formal verification strategy, develop scalable verification environments, create assertions and properties, perform architectural and RTL verification, and collaborate closely with architects, designers, and DV teams to ensure high-quality silicon delivery.
Responsibilities
- Define and execute formal verification strategies for complex IPs, subsystems, and SoCs.
- Develop formal verification plans based on architecture and microarchitecture specifications.
- Create SystemVerilog Assertions (SVA), formal properties, assumptions, covers, and checkers.
- Debug counterexamples and work closely with designers to root-cause and resolve design issues.
- Drive verification closure through proof convergence, coverage analysis, and methodology improvements.
- Develop reusable formal verification components, libraries, and automation flows.
- Contribute to formal verification methodology evolution, AI-assisted verification workflows, and best practices.
- Mentor early career engineers and review verification plans, properties, and results.
- Collaborate with cross-functional teams including Architecture, RTL Design, DV, Emulation, and Silicon Validation.
Qualifications
Required Qualifications
- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
- 7+ years of experience in semiconductor verification with significant focus on Formal Verification.
- Strong understanding of:
- Digital Design Fundamentals
- Computer Architecture and SoC Design
- Expertise in SystemVerilog and SystemVerilog Assertions (SVA).
- Hands-on experience with formal verification tools such as:
- Cadence JasperGold
- Synopsys VC Formal
- Strong debugging and analytical skills.
This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.
Skills Required
- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field
- 7+ years of experience in semiconductor verification with significant focus on Formal Verification
- Strong understanding of Digital Design Fundamentals
- Strong understanding of Computer Architecture and SoC Design
- Expertise in SystemVerilog and SystemVerilog Assertions (SVA)
- Hands-on experience with formal verification tools such as Cadence JasperGold and Synopsys VC Formal
- Strong debugging and analytical skills
Microsoft Compensation & Benefits Highlights
The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Microsoft and has not been reviewed or approved by Microsoft.
-
Fair & Transparent Compensation — Pay is presented as broadly competitive overall, with clear role/level/location variation and an emphasis on using posted ranges and band information for apples-to-apples comparisons.
-
Retirement Support — Retirement benefits are described as a standout, highlighted by a strong 401(k) match structure and immediate vesting, plus additional plan features for tax-advantaged saving.
-
Parental & Family Support — Family-oriented benefits are portrayed as a meaningful strength, with substantial paid parental leave and added supports like back-up care and adoption/surrogacy assistance.
Microsoft Insights
What We Do
At Microsoft, our mission is to empower every person and every organization on the planet to achieve more. Our mission is grounded in both the world in which we live and the future we strive to create. Today, we live in a mobile-first, cloud-first world, and the transformation we are driving across our businesses is designed to enable Microsoft and our customers to thrive in this world.
