Find jobs in AI/ML, Data Science and Big Data
1 result
for Proof assistants
(Skill/Tech stack)
PRO
-
Algebraic methods | Categorical methods | Learning frameworks | Machine Learning | Machine Learning FrameworksMid-level Full TimeNTU Main Campus, Singapore13d ago