Find jobs in AI/ML, Data Science and Big Data
2 results
for Interactive theorem proving
(Skill/Tech stack)
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR2d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 97K-125KAutomated Test | Automated Test Generation | C++ | Formal verification | Generative AISenior-level Full TimeLondon, England, GBR2d ago