So… why is it free?

Employers pay when they hire through Elip. You're not the product — you're the talent it finds. No contracts, no card. Not useful? One message wipes everything. No hidden Pro tier. No “contact sales.” This is the entire pricing page.

Senior System Software Engineer at Nvidia — Bengaluru

Experience5–10 yrs
SalaryNot disclosed
Work modeonsite
Levelsenior
Posted17 Sept 2026

Apply for this job

About Nvidia

Nvidia is hiring in Bengaluru in semiconductors electronics. This role looks for around 5+ years of experience.

Skills

Ada
SPARK programming
TLA+ formal verification

The role

A system software engineer at a semiconductor technology company develops embedded software using Ada, SPARK programming, and TLA+ formal verification. The role applies specification and formal verification to safety-critical vehicle and sensor systems.

Full job description

Leading vehicle manufacturers,tier 1 suppliers,mapping and simulation companies,software and sensor providers,and startups around the world are developing on the

Prior hands-on experience in Ada / SPARK programming (including specification and formal verification) and TLA+ formal verification modeling. .