Principal Formal Design Verification Engineer

About the role

Microsoft Silicon, Cloud Hardware, and Infrastructure Engineering ( SCHIE ) is the team behind Microsoft’s expanding Cloud Infrastructure and responsible for powering Microsoft’s “Intelligent Cloud” mission.

What you'll 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
• 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

What you need

• 12–22 years in electrical & electronics
• Test cases
• Root cause analysis
• Azure
• Office 365
• B.Tech or B.E.

Good to have

• UVM
• Verilog
• Python