Solidity Compiler Frontend Engineer
CertikSalary not specified
Not SpecifiedCompensation
Senior (5 to 8 years)Experience Level
Full TimeJob Type
UnknownVisa
Semiconductors, High Performance ComputingIndustries
Requirements
- BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics
- Solid understanding of GPU/CPU architectures and designs
- Strong analytical skills to solve complex problems
- Knowledge of formal verification methodologies and techniques
- Able to implement abstraction techniques for effective verification
- Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly
- Excellent command of scripting using TCL, Perl, and Python
- Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal)
- Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team
Responsibilities
- Identify key behaviors for verification to write clear testplans for complex designs
- Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties
- Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage
- Drive tools to realize their best performance
- Debug RTL to identify causes of failure scenarios
- Contribute to flow and script development to improve team efficiency
- Articulate formal verification coverage of the design to partners
Skills
Key technologies and capabilities for this role
Questions & Answers
Common questions about this position
What is the salary range for this position?
The base salary range is 168,000 USD - 264,500 USD for Level 4, and 196,000 USD - 310,500 USD for Level 5, determined based on location, experience, and pay of employees in similar positions.
What benefits are offered with this role?
You will be eligible for equity and benefits in addition to base salary.
What are the required skills for this Senior Formal Verification Engineer role?
Required skills include a BS/MS/PhD with 7+ years experience in CS/CE/EE/Mathematics, solid understanding of GPU/CPU architectures, strong analytical skills, knowledge of formal verification methodologies, hands-on experience with Verilog/SystemVerilog HDLs and temporal logic assertions, and scripting in TCL, Perl, and Python.
What is the work arrangement or location policy for this job?
This information is not specified in the job description.
What does NVIDIA look for in a strong candidate for this role?
NVIDIA seeks creative, autonomous individuals who love a challenge, with excellent interpersonal skills to collaborate with distributed teams, preferable experience with tools like Jasper Gold or VC Formal, and the resourcefulness and talent fitting their desirable employer status.
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
