PhD student focusing on Scalable Quantum Program Verification Uppsala University in Sweden

Uppsala University is advertising a PhD position in Scalable Quantum Program Verification at the Department of Information Technology in Uppsala, Sweden . The project sits at the intersection of computer science , mathematics , formal verification , programming language theory , and quantum computing . The research aims to develop scalable methods for verifying quantum programs, especially as quantum software becomes more complex and hybrid quantum-classical architectures create new verification...

Uppsala University is offering a fully funded PhD opportunity in quantum program verification within the Department of Information Technology in Sweden. The project investigates scalable methods for verifying quantum programs. It brings together formal methods , programming language theory, and complex arithmetic to address the reliable analysis of quantum software. The research is suited to students interested in the intersection of computer science, mathematics, quantum computing, and rigorous...

Doctoral Student in Machine Learning for Quantum Error Correction at Chalmers University of Technology in Gothenburg, Sweden. This PhD project sits at the intersection of machine learning , quantum error correction , quantum computing , coding theory , and information theory . The goal is to develop learning-based decoders that are fast, scalable, and compatible with the strict latency and hardware constraints of practical quantum systems. The project is part of QuBriC , a European Marie Skłodow...

Potential PhD position in algorithms , with a focus on algorithm engineering , experimental algorithms , and randomized algorithms , is being discussed by Matti Karppa (Senior lecturer) at the University of Gothenburg and Chalmers University of Technology in Sweden . The post is aimed at finding a brilliant master’s student who could move into doctoral studies. The ideal candidate should have a strong background in mathematics , good programming skills , and basic knowledge of computer science ....

Chalmers University of Technology is seeking a postdoctoral researcher to join the Department of Mathematical Sciences, Division of Analysis and Probability, in Gothenburg, Sweden. The department brings together research in mathematics and related fields in an international, collaborative environment involving the University of Gothenburg and Chalmers. The project focuses on fundamental and applied problems in quantum information theory , with the specific direction shaped jointly with the succe...