Solidity Compiler Frontend Engineer
CertikSalary not specified
Not SpecifiedCompensation
Senior (5 to 8 years), Expert & Leadership (9+ years)Experience Level
Full TimeJob Type
UnknownVisa
Semiconductor, Networking, AIIndustries
Requirements
- BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics
- 15+ years of hands-on experience in Formal Verification within the semiconductor industry
- Proven track record of formal verification execution
- Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies
- Strong analytical, debugging, and problem-solving skills
- Excellent communication and collaboration skills
Responsibilities
- Define and execute advanced formal verification strategies for complex digital blocks and systems
- Lead formal activities across multiple projects, ensuring scalability, completeness, and convergence
- Guide the development of formal testbenches, properties, assertions, and coverage models
- Collaborate with architects, RTL designers, and DV teams to identify formal targets and maximize design verification efficiency
- Provide technical leadership and mentoring to other formal engineers and contribute to the growth of formal expertise within the organization
- Evaluate and deploy state-of-the-art formal tools, flows, and methodologies to continuously improve formal verification coverage and impact
Skills
Key technologies and capabilities for this role
Questions & Answers
Common questions about this position
What education and experience are required for the Principal Formal Verification Engineer role?
A BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics is required, along with 15+ years of hands-on experience in Formal Verification within the semiconductor industry.
What are the key skills needed for this position?
Candidates need a proven track record of formal verification execution, deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies, plus strong analytical, debugging, problem-solving, communication, and collaboration skills.
What is the salary or compensation for this role?
This information is not specified in the job description.
Is this position remote or does it require working in an office?
This information is not specified in the job description.
What makes a candidate stand out for this Principal Formal Verification Engineer position?
Stand out with a true passion for formal verification, a visionary mindset to push boundaries, a strong desire to influence product development using formal insights, and proven ability to collaborate in a team-oriented culture while providing thought leadership.
NVIDIA
Designs GPUs and AI computing solutions
About NVIDIA
NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.
Santa Clara, CaliforniaHeadquarters
1993Year Founded
$19.5MTotal Funding
IPOCompany Stage
Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries
10,001+Employees
