Fully Funded PhD in Quantum Program Verification at Uppsala University Uppsala University in Sweden

This PhD position at the Department of Information Technology, Uppsala University focuses on scalable quantum program verification , bringing formal verification and programming-language techniques to the challenge of checking modern quantum software. The project addresses the increasing complexity of quantum software pipelines, especially as quantum hardware scales and quantum error correction introduces hybrid quantum-classical architectures that are difficult to analyze with current tools. Th...

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...

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...

Doctoral student in Web and Emerging Applications Security at Chalmers University of Technology , Gothenburg, Sweden. This PhD opening is in the Chalmers Security and Privacy Lab and the Department of Computer Science and Engineering, with supervision by Prof. Andrei Sabelfeld . The project focuses on cybersecurity , web security , software security , privacy , and emerging AI security topics. Research tracks include web application crawling and security scanning, browser extension security and ...

Postdoctoral position on spreading processes in multilayer population-scale social networks , offered as part of eSSENCE – the Swedish eScience Collaboration school in data-intensive science. The research will contribute to expanding work on population-scale social networks, including analysis of spreading processes across multilayer networks and related work on network segregation. The project involves large-scale social-network data and computational, quantitative approaches relevant to networ...