Principal Design Verification
2 months ago
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:
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.
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/SOC level using latest techniques to increase the RTL design quality. Collaborate with the architecture and design teams to define formal verification scope. Identify right strategy to prove RTL correctness by deploying advance formal techniques and create abstraction models for convergence. Create formal verification test plan across multiple IPs, track and verify respective test 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 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-
Principal Verification Engineer
5 days ago
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR38813 Principal Verification Engineer Do you want...
-
Principal Verification Engineer
5 days ago
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR38813 Principal Verification Engineer Do you...
-
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR51948 Principal Memory Circuit Design...
-
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR51948 Principal Memory Circuit Design Verification...
-
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR52073 Principal Memory Circuit Design...
-
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR52073 Principal Memory Circuit Design Verification...
-
Principal/Staff Verification Engineer
5 days ago
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR51947 Principal/Staff Verification Engineer As a...
-
Principal/Staff Verification Engineer
5 days ago
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR51947 Principal/Staff Verification Engineer As a...
-
PRINCIPAL ENGINEER
5 days ago
hyderabad, India Spectrum Consultants India Private Limited Full timePRINCIPAL ENGINEER (I), DEG Verification Summary Experience Required: 2 - 12 YearsJob Term: PermanentLocation: HyderabadCategory: Semiconductor DesignWorld leader in innovative memory solutionsAs a Digital or Mixed Signal Verification Engineer, you will work with a highly innovative and motivated design team using state of the art memory technologies to...
-
Principal Software/Verification Engineer
5 days ago
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR53651 Principal Software/Verification Engineer ...
-
Principal Software/Verification Engineer
5 days ago
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR53651 Principal Software/Verification Engineer ...
-
Principal Engineer
3 days ago
Hyderabad, India Renesas Electronics Full timeJob Description Lead verification at the SoC, Subsystem, or IP level for Automotive MCUs/SoCs Define verification strategies and test plans Qualifications 16-20 years of experience in design verification with a proven track record of owning complex SoCs Pre-Si verification Prior experience in Automotive SoCs or Application Processor SoCs is strongly...
-
Principal Engineer
3 days ago
Hyderabad, India Renesas Electronics Full timeJob DescriptionLead verification at the SoC, Subsystem, or IP level for Automotive MCUs/SoCsDefine verification strategies and test plansQualifications16-20 years of experience in design verification with a proven track record of owning complex SoCs Pre-Si verificationPrior experience in Automotive SoCs or Application Processor SoCs is strongly...
-
Principal Engineer
20 hours ago
hyderabad, India Renesas Electronics Full timeJob DescriptionLead verification at the SoC, Subsystem, or IP level for Automotive MCUs/SoCs Define verification strategies and test plans Qualifications16-20 years of experience in design verification with a proven track record of owning complex SoCs Pre-Si verification Prior experience in Automotive SoCs or Application Processor SoCs is strongly...
-
hyderabad, India Spectrum Consultants India Private Limited Full timeSenior Manager Memory Circuit Design Verification Summary Experience Required: 13 - 20 YearsJob Term: PermanentLocation: HyderabadCategory: Semiconductor DesignWorld leader in innovative memory solutionsDescriptionAs a Senior Manager Memory Circuit Design Verification Engineer / Principal Memory Circuit Design Verification Engineer, you will work in a...
-
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR42629 Principal/Staff Verification Engineer with...
-
Hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR42629 Principal/Staff Verification Engineer with...
-
Principal Engineer
4 days ago
Hyderabad, India Renesas Electronics Full timeCompany Description Renesas is one of the top global semiconductor companies in the world. We strive to develop a safer, healthier, greener, and smarter world, and our goal is to make every endpoint intelligent by offering product solutions in the automotive, industrial, infrastructure and IoT markets. Our robust product portfolio includes...
-
Principal Engineer
3 days ago
hyderabad, India Renesas Electronics Full timeCompany Description Renesas is one of the top global semiconductor companies in the world. We strive to develop a safer, healthier, greener, and smarter world, and our goal is to make every endpoint intelligent by offering product solutions in the automotive, industrial, infrastructure and IoT markets. Our robust product portfolio includes...
-
hyderabad, India Micron Full timeOur vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR48384 Principal/Manager Memory Design Engineer...
