Find jobs in AI/ML, Data Science and Big Data

6 results for Theorem Proving (Skill/Tech stack)

Applied Scientist, Automated Reasoning GBP 90K-120K

Automated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic Methods

Senior-level Full Time

London, England, GBR

4d ago
Applied Scientist, Automated Reasoning USD 192K-260K

Automated Reasoning | Constraint Solving | Formal verification | Generative AI | Heuristic Search

Mid-level Full Time

New York, New York, USA

8d ago
Research Associate (Computer Science) SGD 60K-120K

Formal verification | Interactive theorem proving | Language theory | Programming language | Programming language theory

Mid-level Full Time

NTU Main Campus, Singapore

10d ago
VLSI Design Optimization Engineer MXN 239K-276K

Constraint Solving | Flow theory | ILP | Linux | Network Flow Theory

Career advancement resources | Flexible working culture | Knowledge sharing | Mentorship | Work-life balance

Entry-level Full Time

Tijuana, Baja California, Mexico

10d ago
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef AED 96K-120K

Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration Inequalities

Educational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowance

Mid-level Full Time

Abu Dhabi

25d ago
Applied Scientist II - AMZ9971140 USD 153K-193K

Abstract interpretation | Bayesian Methods | C plus plus | Constraint Solving | Convex Optimization

Medical benefits

Mid-level Full Time

Seattle, Washington, USA

1mo ago