AMVETS Jobs

Microsoft is building the fastest and most reliable networks for cloud computing and for emerging workloads such as AI/ML. Microsoft Azure is one of the largest public cloud platforms worldwide, providing a great channel for product impact that touches the lives of millions of users daily. Microsoft’s partnership with world leaders in AI technology provides unparalleled opportunities for innovation at the cutting edge of high-performance computing and networking.

Our team has delivered Azure Boost (https://www.youtube.com/watch?v=j_X-oM4j3YE) and we are now looking for talented hardware design and verification engineers to join our team, developing Azure’s next generation networking devices. 

Microsoft’s innovative approach for hardware/software co-design leverages the flexibility and parallelism delivered by hardware to offload and accelerate many types of computations and functions of the Azure network. Our vertical work environment includes developing and deploying hardware, software drivers, and end to end features, and interaction with large software teams on important customer-facing applications.

Come join us and be challenged daily as you build advanced hardware/software acceleration solutions for some of the world’s largest datacenter networks. This is a great opportunity to join a team that has built some of the largest scale cloud systems ever deployed and learn from the very best.

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

• Plan and execute Formal Verification proofs for Hardware designs, based on deep understanding of its specification, system architecture, and hardware design and verification principles.

• Convert free language specification and architecture documents into Formal Executable Specifications, using System Verilog Assertions (SVA) properties and SystemVerilog environment.

• Verify, analyse and debug designs using Formal Verification tools and applications to reach cloud-scale quality and zero critical bugs at production release.

• Work with design and verification teams to create multi-discipline verification environment and achieve ultimate possible coverage.

• Continuously Improve and develop Formal Verification scripts and functions to improve Formal tools flow, enhance efficiency and coverage

• Teach, guide, mentor and support designers and verification engineers using the Formal Verification tools and applications.

Qualifications

Required Qualifications:

• Technical engineering experience

• OR Bachelor's degree in Computer Science, Computer Engineering, Mathematics, Electrical Engineering, or related field

• OR Master's degree in Computer Science, Computer Engineering, Mathematics, Electrical Engineering, or related field

• OR PhD degree in Computer Science, Computer Engineering, Mathematics, Electrical Engineering, or related field

• Experience in ASIC/FPGA design and/or verification

Other Requirements:

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

Preferred Qualifications:

• Ability to deep dive into complex systems architecture, learn from Specification documents, search, find and research relevant resources

• Logic and mathematical attitude, ability to understand and analyse complex software algorithms and cope with complexity obstacles

• A versatile can-do, problem-solving attitude, deep and thorough, clean and exact results oriented

• Ability to work both in a cooperating team and as an individual with self responsibility

• Excellent communication skills in English, both written and verbal

• Knowledge of Linux environment, experience with developing DA/CAD tools and scripts is an advantage

#Azurecorejobs

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