Principal Design Verification Engineer - Formal
- Location
- Raleigh | United States, NC · On-site
- Job type
- Full-time
- Level
- Lead / Staff
- Experience
- 5+ years
- Education
- Doctorate
- Listed
- 29 days ago
Skills & highlights for this role
- ITAR eligibility
- Formal verification
- SystemVerilog
- UVM
- Python
- CHI
Also useful
- AMBA
- PCIe
- CXL
About the role
The candidate for this position will be expected and able to complete the following responsibilities upon hire: 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. 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 and best practices.
Doctorate in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 3+ years technical engineering experience OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 6+ years technical engineering experience OR Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 8+ years technical engineering experience OR equivalent experience.
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. 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 successful candidate's citizenship will be verified with a valid passport. Lawful permanent residents, refugees, and asylees may verify status using other documents, where applicable.
Doctorate in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 5+ years technical engineering experience OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 8+ years technical engineering experience OR Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 12+ years technical engineering experience OR equivalent experience.
1+ year(s) experience working on or leading projects from beginning-to-end. 5+ years of pre-silicon subsystem or IP Formal verification experience. Demonstrated expertise applying Formal verification methodologies to complex IPs, subsystems, SoCs, or reusable library components.
Demonstrated 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
Equal opportunity and legal notices
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.
From Microsoft's careers page, first listed on Rolev.ai on October 11, 2026. Rolev.ai is not the employer.
How Rolev.ai helps with this application
Rolev.ai is a job search and application tool for US job seekers. For this Principal Design Verification Engineer - Formal role at Microsoft, it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.
See how you fit
Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.
Tailor without inventing
Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.
Draft the full kit
Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.
1-Click Extension Autofill
The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.
Common questions
Where is the Principal Design Verification Engineer - Formal job at Microsoft located?
This Principal Design Verification Engineer - Formal position at Microsoft is located in Raleigh | United States, NC (On-site). Always check Microsoft's application page for specific state eligibility or relocation policies.
What qualifications are required for Principal Design Verification Engineer - Formal at Microsoft?
For the Principal Design Verification Engineer - Formal role, Microsoft highlights 5+ years of relevant experience; a doctorate; experience with Formal verification, SystemVerilog, UVM, Python, CHI. Rolev.ai can score your existing resume against these requirements and show any skill gaps before you apply.
How do I apply for the Principal Design Verification Engineer - Formal position at Microsoft?
This listing links directly to Microsoft's application page. You can apply directly on Microsoft's site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.