Find jobs in AI/ML, Data Science and Big Data
2 results
for Type Theory
(Skill/Tech stack)
-
Academic Writing | Data Analysis | Data collection | Experimental Design | Formal verificationFixed-term contractMid-level Full TimeUnited Kingdom15d ago
-
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 TimeLondon27d ago