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
Formal Verification
Assertions
Properties
Coverage Models
Abstraction Techniques
Convergence Strategies
RTL Design
Debugging
Formal Testbenches
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
