Overview

Microsoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality.

We are looking for a principal formal verification engineer  to work in the dynamic Microsoft Artificial Intelligence Silicon Engineering team (AISiE). The candidate must be a highly motivated self-starter who will thrive in this cutting-edge technical environment.

Microsoft’s mission is to empower every person and every organization on the planet to achieve more. As employees we come together with a growth mindset, innovate to empower others, and collaborate to realize our shared goals. Each day we build on our values of respect, integrity, and accountability to create a culture of inclusion where everyone can thrive at work and beyond.

Qualifications

• 15 or more years of experience in design verification with 10+ years of proven track record in using formal verification techniques on complex SoC IP’s (CPU, Neural Networks IPs, DMA, Security IP, Interconnects, power management etc.)
• Formal method or formal verification technologies experience and abstraction techniques.
• Knowledge and experience in interpreting hardware logic, familiarity with SV / Verilog / VHDL HDLs and using assertion-based languages like SVA or PSL.
• Experience in using Industry standard EDA formal tools for property verification and logic equivalency checks.
• Strong understanding of digital design principles, Datapath architecture, and arithmetic units
• Strong proficiency in scripting language such as Python or Perl with excellent debugging skills
• Passionate about developing world-class / innovative formal verification solutions.

Desirable :

SCHIEINDIA

Ability to meet Microsoft, customer and / or government security screening requirements are required for this role. These requirements include, but are not limited to, the following specialized security screenings : Microsoft Cloud Background Check : This position will be required to pass the Microsoft Cloud background check upon hire / transfer and every two years thereafter.

Responsibilities

The AISiE silicon team is seeking a passionate, driven, and intellectually curious computer / electrical engineer to deliver premium-quality designs once considered impossible. We are responsible for delivering cutting-edge, custom IP and SoC designs that can perform complex and high-performance functions in an extremely efficient manner.

Benefits / perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.Industry leading healthcareEducational resourcesDiscounts on products and servicesSavings and investmentsMaternity and paternity leaveGenerous time awayGiving programsOpportunities to network and connect