bengaluru karnataka checker checker Jobs – 93 Open Jobs Today

CPU Formal Verification Sr Staff Engineer
Qualcomm —Bengaluru, Karnataka
- Doctoral degree
- Computer Science
- B.Sc
CPU Verification Engineer - Unit DV
Advanced Micro Devices, Inc —Bengaluru, Karnataka
- C++
- Communication skills
- Python
SOC verification Manager/Lead
Advanced Micro Devices, Inc —Bengaluru, Karnataka
- Master's degree
- Bachelor's degree
- Scripting
5d
IP Design verification Engineer
Intel —Bengaluru, Karnataka
- Full-time
- Hybrid work
- Doctoral degree
- Master's degree
- Bachelor's degree
Global Banking & Market - TxB Transaction Services - Vice President - Bengaluru
Goldman Sachs —Bengaluru, Karnataka
- Bachelor's degree
- Leadership
- Banking
- Health insurance
Design Verification Engineer
Cerebras Systems —Bengaluru, Karnataka
- Computer Science
- B.Sc
- Master's degree
2d
ASIC / SoC Design Verification Engineer 4–10+ Years
LookupItSolutions —Bengaluru, Karnataka
- ₹6,58,590.48 - ₹10,00,815.06 a year
- Full-time
- Hybrid work
- Master's degree
- Analysis skills
- In-person
Quick apply
Staff Design Verification Engineer- SerDes / AMS / mixed‑signal IPs
Marvell —Bengaluru, Karnataka
- Full-time
- Doctoral degree
- Computer Science
- Master's degree
Mixed Signal Logic Verification Engineer
Intel —Bengaluru, Karnataka
- Full-time
- Hybrid work
- Master's degree
- Bachelor's degree
- Scripting
Senior Tekla Structure checker
Grand Nivaas Constructions —Bengaluru, Karnataka
- Full-time
- Microsoft Word
- AutoCAD
- CAD
Functional consultant - MSD - Contract
InMobi —Bengaluru, Karnataka
- Finance
- Master's degree
- Project management
Quick apply
Design Verification Manager
Texas Instruments —Bengaluru, Karnataka
- Master's degree
- Analysis skills
- Bachelor's degree
Senior CAD Technician - Cable Routing
WSP —Bengaluru, Karnataka
- Hybrid work
- AutoCAD
- CAD
- English
Engineer II - Design
Kautex —Bengaluru, Karnataka
- Full-time
- CAD
3d
SoC/IP Design Verification Engineer
Intel —Bengaluru, Karnataka
- Full-time
- B.Sc
- Master's degree
- Bachelor's degree
ASIC Digital Design, Staff Engineer
Synopsys —Bengaluru, Karnataka
- Master's degree
- Electrical experience
- Bachelor's degree
- Health insurance
CAD Technician - Electrical
WSP —Bengaluru, Karnataka
- Hybrid work
- AutoCAD
- Schematics
- English
Process Intelligence Senior Specialist - Autoliv - Bangalore
Autoliv Group —Bengaluru, Karnataka
- Hybrid work
- Computer Science
- Master's degree
- SQL
Senior Accountant
Matco Tools —Bengaluru, Karnataka
- Hybrid work
- Microsoft Excel
- ERP systems
- Finance
- Paid holidays
- Health insurance
Senior IP Design Verification Engineer - XBAR IP
NVIDIA —Bengaluru, Karnataka
- Full-time
- Master's degree
- Analysis skills
- Bachelor's degree

I want to receive the latest job alerts for checker checker in bengaluru karnataka

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

checker checker jobs near bengaluru karnataka

Security Operations Manager jobs in Bengaluru, Karnataka

Senior Accountant jobs in Bengaluru, Karnataka

Design Verification Engineer jobs in Bengaluru, Karnataka

Technical Consultant jobs in Bengaluru, Karnataka

Verification Engineer jobs in Bengaluru, Karnataka

CAD Technician jobs in Bengaluru, Karnataka

Vice President jobs in Bengaluru, Karnataka

Security Operations Manager jobs in Chandigarh, Chandigarh

Supervisor, Security Guards jobs in Visakhapatnam, Andhra Pradesh

Banking Operations jobs in Kolkata, West Bengal

Security Operations Manager jobs in Gurgaon, Haryana

Banking Operations jobs in Uttar Pradesh

Security Operations Manager jobs in Mumbai, Maharashtra

Security Operations Manager jobs in Noida, Uttar Pradesh

Senior Accountant jobs in Nashik, Maharashtra

Senior Manager Hr jobs in Chennai, Tamil Nadu

Senior Architect jobs in Hyderabad, Telangana

Senior Accountant jobs in Bariatu, Ranchi, Jharkhand

Senior Accountant jobs in Ahmedabad, Gujarat

Senior Accountant jobs in Kumbalagodu, Bengaluru, Karnataka

CPU Formal Verification Sr Staff Engineer

Qualcomm -
Bengaluru, Karnataka

Apply Now

Job details

Qualifications

BCS
Doctoral degree
Computer Science
B.Sc
Electronics Engineering
Master's degree
C++
C
Bachelor's degree
Python

Full job description

Company:

Qualcomm India Private Limited

Job Area:

Engineering Group, Engineering Group > Hardware Engineering

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? The Qualcomm CPU 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; 12+ 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 6+ years of Hardware Engineering or related work experience.

OR
Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 5+ years of Hardware Engineering or related work experience.
OR
PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.

Applicants : Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [email protected] or call Qualcomm's toll-free number found here . Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

To all Staffing and Recruiting Agencies : Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.

If you would like more information about this role, please contact Qualcomm Careers .

Apply Now

Refine Your Search

checker checker jobs in bengaluru karnataka

CPU Formal Verification Sr Staff Engineer

CPU Verification Engineer - Unit DV

SOC verification Manager/Lead

IP Design verification Engineer

Global Banking & Market - TxB Transaction Services - Vice President - Bengaluru

Design Verification Engineer

ASIC / SoC Design Verification Engineer 4–10+ Years

Staff Design Verification Engineer- SerDes / AMS / mixed‑signal IPs

Mixed Signal Logic Verification Engineer

Senior Tekla Structure checker

Functional consultant - MSD - Contract

Design Verification Manager

Senior CAD Technician - Cable Routing

Engineer II - Design

SoC/IP Design Verification Engineer

ASIC Digital Design, Staff Engineer

CAD Technician - Electrical

Process Intelligence Senior Specialist - Autoliv - Bangalore

Senior Accountant

Senior IP Design Verification Engineer - XBAR IP

I want to receive the latest job alerts for checker checker in bengaluru karnataka

Explore jobs in more locations

Company:

Job Area:

Jobseeker tools

Employer Tools

Browse

Stay Connected