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.

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.

• Build and manage formal verification team.

• Own and lead formal verification of complex modules at the IP/Subsystem/SOClevelusing latest techniques to increase the RTL design quality.

• Collaborate with the architecture and design teams to define formal verification scope.

• Identifyright strategy to prove RTL correctnessby deploying advance formal techniques and create abstraction models for convergence.

• Create formal verification test plan across multiple IPs, track and verify respectivetest plan.

• Innovate new technologies, evaluate new tools, and corroborate results.

• Debug RTL to identify causes of failure scenarios.

• Work with vendors on resolving hard design and tool problems.

• Articulate formal verification coverage of the design to partners.

• Coach and mentor others in formal verification areas of expertise.

• Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion

Qualifications

• 15 or more years of experience in design verification with 10+ years of proven track recordin 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:

• Experience using VC_Formal, SLEC tools

• Experience of working on AI/ML SoCs or CPU cores

• Tool development experience

#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.

Microsoft is an equal opportunity employer. Consistent with applicable law, all qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations (https://careers.microsoft.com/v2/global/en/accessibility.html) .