Find jobs in AI/ML, Data Science and Big Data
2 results
for Proof assistants
(Skill/Tech stack)
-
Technical Specialist - AI / Computer Science GBP 70K-105KAI tools | Category theory | Formal Methods | Formal Models | Formal verificationAnnual leave | Cycle to work scheme | Employee assistance programme | Enhanced family leave arrangements | Hybrid workingMid-level Full TimeLondon7d ago
-
Algebraic methods | Categorical methods | Learning frameworks | Machine Learning | Machine Learning FrameworksMid-level Full TimeNTU Main Campus, Singapore1mo ago