CPU Formal Verification Professional
7 days ago
General Summary:
Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development of the next generation of formal methodologies in this space? Qualcomm'sCPU team has some of the best CPU architects and engineers on the planet, developing the processors that will power the future. Come and join us on this exciting adventure. Sharpen your formal verification skills to their fullest on some of the complex designs ever attempted.
Roles and Responsibilities:
Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture
Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components
Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modeling and validation amongst other cutting-edge application areas
To be successful in this position you will need:
BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software
Strong model checking or theorem proving background/experience in verification of complex systems
Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods
Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL
The ideal candidate will have the following experience:
MS/PhD degree in CS/EE; 4+ years of practical experience
Strong foundation in formal methods and in their application to hardware specifications and/or implementations
Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures
Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)
Minimum Qualifications:
Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience. ORMaster's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience. ORPhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.
-
CPU Verification Engineers
7 days ago
Bengaluru, Karnataka, India ACL Digital Full time ₹ 15,00,000 - ₹ 25,00,000 per yearCPU Verification EngineersExperience : 4+ yearsLocation : Bangalore & HyderabadWe are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test...
-
CPU Verification Engineer
3 weeks ago
Bengaluru, Karnataka, India, Karnataka ACL Digital Full timeCPU Verification EngineersExperience : 4+ yearsLocation : Bangalore & HyderabadWe are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test...
-
CPU Core Feature Verification
1 week ago
Bengaluru, Karnataka, India Tenstorrent Full time ₹ 12,00,000 - ₹ 36,00,000 per yearDescription : Principal/Senior CPU Core Feature Verification and Debug EngineerLocation : Bangalore, IndiaExperience : 410 yearsAbout the Role : Tenstorrent, a leader in cutting-edge AI technology and high-performance computing, is seeking a highly skilled CPU Core Feature Verification and Debug Engineer to join our team in Bangalore. This role is...
-
CPU Design Verification
1 week ago
Bengaluru, Karnataka, India Qualcomm Full time ₹ 8,00,000 - ₹ 24,00,000 per yearCompany:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary: Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement. Roles and Responsibilities o Responsible for power management verification...
-
DV CPU Verification Coherency
2 weeks ago
Bengaluru, Karnataka, India Quest Global Full time ₹ 12,00,000 - ₹ 36,00,000 per yearJob Requirements Position OverviewWe are seeking a highly skilled and experienced Design Verification (DV) Engineer to join our core silicon engineering team. You will be at the forefront of verifying our next-generation, high-performance, and power-efficient CPU complexes and SoCs. This role demands a deep expertise in CPU architecture, coupled with...
-
CPU Design Verification Engineer
1 week ago
Bengaluru, Karnataka, India Qualcomm Full time ₹ 15,00,000 - ₹ 25,00,000 per yearCompany:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and Responsibilitieso Responsible for power management verification includes...
-
CPU Design Verification Engineer
7 days ago
Bengaluru, Karnataka, India Qualcomm Full timeCompany:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement.Roles and Responsibilitieso Responsible for power management verification...
-
Formal Verification Engineer
1 week ago
Bengaluru, Karnataka, India AMD Full time ₹ 12,00,000 - ₹ 36,00,000 per yearWHAT YOU DO AT AMD CHANGES EVERYTHINGWe care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...
-
Formal verification
2 weeks ago
Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per yearJob Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...
-
ASIC Verification Engineer, Formal
7 days ago
Bengaluru, Karnataka, India Meta Full time ₹ 12,00,000 - ₹ 36,00,000 per yearMeta is hiring Application-Specific Integrated Circuit (ASIC) Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications.As a Formal Verification Engineer, you will be part of a team working with the best in the...