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.

Sr Compute System Software Engineer at Nvidia — Bengaluru

Experience12–17 yrs
SalaryNot disclosed
Work modeonsite
Levelexecutive
Posted21 Sept 2026

Apply for this job

About Nvidia

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

Skills

LEAN4
TLA+
Haskell
Coq
Rocq
GenAI

The role

A compute system software engineer at a semiconductor technology company develops software using LEAN4, TLA+, Haskell, and Coq or Rocq for GenAI-assisted design and development. Formal methods and complex software analysis shape reliable compute systems.

Full job description

As we shift gears with the GenAI revolution and are going more towards GenAI assisted design and development,we are also taking up on solving some of the challenges that come with it

Hands on experience with LEAN4,TLA+,Haskell,Coq / Rocq or related paradigms. 12+ years of proven experience in complex software development,design,and analysis. Strong teammate