1 SAT/SMT Solvers job

United States (Remote)

$232–368K / year

NVIDIA is seeking an experienced Principal EDA R&D Engineer to pioneer the next generation of Hardware Formal Verification tools!