Find jobs in AI/ML, Data Science and Big Data
1 result
for Program semantics
(Skill/Tech stack)
-
Senior Deep Learning Compiler Verification Engineer USD 140K-224KC++ | Formal verification | Graph optimization | IR lowering | JAXComprehensive benefits package | EquitySenior-level Full TimeUS, CA, Santa Clara, United States1d ago