Solidity Compiler Frontend Engineer
CertikSalary not specified
Full Time
Mid-level (3 to 4 years), Senior (5 to 8 years)
Not SpecifiedCompensation
Entry Level & New GradExperience Level
Full TimeJob Type
UnknownVisa
Semiconductor, TechnologyIndustries
Requirements
- BS, MS, or Ph.D. in CS/CE/EE/Mathematics or equivalent experience
- Strong analytical skills to solve difficult problems
- Knowledge/Experience in formal verification techniques
- Strong knowledge of architectures of CPU/GPU designs and digital logic
- Understanding of abstraction techniques for effective verification
- Hands-on experience with HDLs such as Verilog / System Verilog
- Ability to understand RTL quickly
- Understanding of temporal logic assertions
- Preferable experience with Formal Verification Tools (eg. Jasper, IFV, SMV, SPIN)
- Excellent communication skills with ability to work with team members and collaborate effectively
Responsibilities
- Developing comprehensive FV testplan documents
- Identifying key behaviors for verification of DUT and creating a verification plan
- Developing verification environment including environment assumptions, assertions and cover properties in context of the verification plan
- Applying various FV techniques to proof correctness of digital designs
- Debugging RTL to identify failure scenarios
- Developing scripts to automate the verification process
- Review formal setups and proofs with design and verification teams
Skills
Formal Verification
RTL
Verilog
SystemVerilog
Assertions
Temporal Logic
Jasper
IFV
SMV
SPIN
CPU Architecture
GPU Architecture
Digital Logic
Abstraction Techniques
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
Benefits
Company Equity
401(k) Company Match
Risks
Increased competition from AI startups like xAI could challenge NVIDIA's market position.
Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.
Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.
Differentiation
NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.
The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.
NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.
Upsides
Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.
Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.
Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.
Related Jobs
RemoteRemoteStaff Certification Engineer
WiskSalary not specified
- Full Time
- Expert & Leadership (9+ years)
RemoteSr. ASIC Design Verification Engineer
GroqSalary not specified
- Full Time
- Senior (5 to 8 years)
RemoteModel Risk Analyst III - Validation
M&T Bank$82,783 - $137,972/year
- Full Time
- Mid-level (3 to 4 years), Senior (5 to 8 years)