aijobs.net

Sign in

Find jobs in AI/ML, Data Science and Big Data

4 results for Proof assistants (Skill/Tech stack)

Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef AED 96K-120K

Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration Inequalities

Educational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowance

Mid-level Full Time

Abu Dhabi

5d ago
Postdoctoral Researchers (theoretical foundations of distributed quantum computing) EUR 50K-53K

Automata theory | Computational Complexity | Discrete Mathematics | Graph Algorithms | Graph theory

Comprehensive social security system | Occupational health benefits

Entry-level Full Time

Otaniemi, Finland

1mo ago
Doctoral Students (theoretical foundations of distributed quantum computing) EUR 38K-42K

Automata theory | Computational Complexity | Discrete Mathematics | Graph theory | Lean

Occupational health benefits | Social security system

Entry-level Full Time

Otaniemi, Finland

1mo ago
Postdoc Positions in Computer Science (Formal Methods) DKK 433K-433K

Computational Complexity | Distributed Systems | Formal Methods | Logic | Programming Languages

Mentoring | Professional development opportunities | Research collaboration opportunities

Entry-level Full Time

Odense M, Denmark

1mo ago