2 Formal Methods jobs

Bengaluru, Karnataka, IN (On-site)

We are looking for a talented Senior System Software Engineer to help build NVIDIA Halos, our full-stack safety platform for physical AI: autonomous…

Irvine, California, US (On-site)

$100–230K / year

FieldAI ’s Irvine team is where embodied AI meets real robots, real sensors, and real field deployments.