Principal Design Verification Engineer - Formal

Job d:

Location:

United States, North Carolina, Raleigh Salary: USD $142,800 - $274,800 per year

Employment type:

Full-Time Work site: 3 days / week in-office

Role type:
Individual Contributor Travel:
Less than 25%
Profession:
Hardware Engineering Discipline:
Silicon Engineering Company:
Microsoft Overview 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. SCHIE delivers the core infrastructure and foundational technologies for Microsoft's over 200 online businesses including Bing, MSN, Office 365, Xbox Live, Teams, One Drive, and the Microsoft Azure platform globally with our server and data center infrastructure, security and compliance, operations, globalization, and manageability solutions.

Our focus is on smart growth, high efficiency, and delivering a trusted experience to customers and partners worldwide and we are looking for passionate engineers to help achieve that mission.

The Compute Silicon & Manufacturing Engineering (CSME) organization within SCHIE is responsible for design, development, manufacturing and packaging of Microsoft's state-of-the-art computer chips, notably the Azure Cobalt. Our solutions provide sustainable strategic advantage to Microsoft and enable our customers to achieve more.

As Microsoft's cloud business continues to grow the ability to deploy new offerings and hardware infrastructure on time, in high volume with high quality and lowest cost is of paramount importance. To achieve this goal, the Verification & Validation team is instrumental in defining and delivering operational measures of success for hardware manufacturing, improving the planning process, quality, delivery, scale and sustainability related to Microsoft cloud hardware.

We are looking for an experienced engineer with a dedicated passion for customer focused solutions, insight and industry knowledge to envision and implement future technical solutions that will manage and optimize the Cloud infrastructure.  We are looking for a Principal Design Verification Engineer - Formal to join the team.#SCHIE #CSME Responsibilities The candidate for this position will be expected and able to complete the following responsibilities upon hire:

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.

Coach and mentor engineers in Formal verification methodologies and best practices. Demonstrate Microsoft core values:
Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion.

Qualifications

Required Qualifications:

Doctorate in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 3+ years technical engineering experience OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 6+ years technical engineering experience OR Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field AND 8+ years technical engineering experience OR equivalent experience.

Screening…