Find jobs in AI/ML, Data Science and Big Data
1 result
for SAT/SMT Solvers
(Skill/Tech stack)
-
Research Engineer, Machine Learning USD 120K-180KAutomatic Differentiation | C++ | Causal Inference | Deep learning | Distributed TrainingFlexible working hours | In-person collaboration | Multi-day in-person eventsSenior-level Full TimeNew York Office3d ago