Find jobs in AI/ML, Data Science and Big Data
2 results
for Proof assistants
(Skill/Tech stack)
-
Applied Scientist, Automated Reasoning USD 192K-260KAutomated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic SearchMid-level Full TimeNew York, New York, USA8d ago
-
Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration InequalitiesEducational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowanceMid-level Full TimeAbu Dhabi25d ago