Principal Design Verification Engineer - Formal

Microsoft; Raleigh (NC); On-site; USD 130,000 - 154,000; Full time

Job summary

Microsoft is hiring a Principal Design Verification Engineer - Formal for the Silicon Engineering team. Location: Raleigh, NC, US | Austin, TX, US | Hillsboro, OR, US. Work arrangement: onsite.

The role focuses on formal verification methodologies to ensure chip designs meet stringent specs, with emphasis onDV techniques, property checking, and coverage-driven verification. You will collaborate with cross‑functional teams including design, software, and validation to drive robust silicon

Job description

Microsoft is hiring a Principal Design Verification Engineer - Formal for the Silicon Engineering team. Location: Raleigh, NC, US | Austin, TX, US | Hillsboro, OR, US. Work arrangement: onsite.

Your Match

How well this role fits your profile.

Confirmed H-1B sponsor. The Department of Labor record shows filings under MICROSOFT CORPORATION .

Filings 48,047

Approved 93.8%

Avg wage $142K

From public Department of Labor LCA disclosures. Sponsorship history is a signal about the employer, not a commitment on this role.