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
Verilog
SystemVerilog
TCL
Perl
Python
Jasper Gold
VC Formal
RTL
Formal Verification
Assertions
Abstraction Models
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
