Postdoctoral Researchers (theoretical foundations of distributed quantum computing)
Tasks
- Analyze distributed tasks for quantum advantage
- Apply proof techniques using modern proof assistants
- Develop and publish research in leading conferences and journals
- Investigate fundamental limits in the LOCAL model
- Study theoretical foundations of distributed quantum computing
Perks/Benefits
Skills/Tech-stack
Automata theory | Computational Complexity | Discrete Mathematics | Graph Algorithms | Graph theory | Lean | Linear Algebra | Models of Computing | Parallel algorithms | Probability theory | Proof assistants
Education
Roles
Related jobs
-
Postdoctoral Researcher in Geometric Algorithms EUR 50K-50KCombinatorial algorithms | Complexity Theory | Computational Complexity | Computational Complexity Theory | Computational GeometryConference and workshop participation | International collaboration opportunities | Occupational health benefits | Social security coverage | Travel support for conferences and research visitsMid-level Full TimeOtaniemi, Finland29d ago