Find jobs in AI/ML, Data Science and Big Data
3 results
for Interactive theorem proving
(Skill/Tech stack)
-
Applied Scientist, AWS Automated Reasoning GBP 81K-122KAlgorithms | Amazon Web Services | C++ | Data Mining | Distributed ComputingMid-level Full TimeLondon, England, GBR14d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR26d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 97K-125KAutomated Test | Automated Test Generation | C++ | Formal verification | Generative AISenior-level Full TimeLondon, England, GBR26d ago