Find jobs in AI/ML, Data Science and Big Data
1 result
for Proof assistant
(Skill/Tech stack)
-
Abstract machines | Category theory | Compiler Construction | Denotational semantics | Graph rewritingEntry-level Full TimeUnited Kingdom9d ago