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

• Comprehensive social security system
• Occupational health 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