Find jobs in AI/ML, Data Science and Big Data
3 results
for Proof assistants
(Skill/Tech stack)
-
Automata theory | Computational Complexity | Discrete Mathematics | Graph Algorithms | Graph theoryComprehensive social security system | Occupational health benefitsEntry-level Full TimeOtaniemi, Finland14d ago
-
Automata theory | Computational Complexity | Discrete Mathematics | Graph theory | LeanOccupational health benefits | Social security systemEntry-level Full TimeOtaniemi, Finland14d ago
-
Postdoc Positions in Computer Science (Formal Methods) DKK 433K-433KComputational Complexity | Distributed Systems | Formal Methods | Logic | Programming LanguagesMentoring | Professional development opportunities | Research collaboration opportunitiesEntry-level Full TimeOdense M, Denmark27d ago