Find jobs in AI/ML, Data Science and Big Data
2 results
for Satisfiability Solving
(Skill/Tech stack)
-
Applied Scientist, Automated Reasoning GBP 90K-120KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic MethodsSenior-level Full TimeLondon, England, GBR7d ago
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA11d ago