Formal Design Verification Engineer

Microsoft - Raleigh, NC

Hiring: Formal Design Verification Engineer Company: Microsoft Location: Raleigh, NC Job Posted Time: 2026-09-03 10:42:05 Target Skills & Keywords : Azure, Python, Stimulus, SystemVerilog, Verilog About the job Experience: •3+ years of pre-silicon subsystem or IP Formal verification experience. Required Skills: •Own or lead verification of components used in Fabric Interconnect •Learn about the design and interact with partner teams to define verification strategies and test plans •Develop Formal-based verification environments and run and debug simulations to drive quality •Innovate to improve verification efficiency through methodologies or tools •Coach and mentor others in your areas of expertise •Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion Qualifications: •Demonstrated experience in verification of designs that utilize Coherent Hub Interface (CHI) and Advanced Microcontroller Bus Architecture (AMBA) protocols •Demonstrated experience in one or more of the following: fabric interconnects, coherency, virtualization, security, interrupts, PCIe, CXL, and/or protocol bridges •Demonstrated hands-on technical leadership such as creating bottom’s up schedules, coordinating work across a team, driving verification closure, or solving cross-team technical problems •Aptitude for writing scripts/software with industry standard languages like Python •Silicon Engineering IC4 - The typical base pay range for this role across the U.S. is USD $119,800 - $234,700 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $160,200 - $261,000 per year. •This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled. Compensation: •$119,800 - $234,700 / year Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don't miss this opportunity to join a forward-thinking team!