2 verification-computer-science "https:" PhD positions at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 8 days ago

28 Feb 2026 Job Information Organisation/Company Uppsala universitet Department Uppsala University, Department of Information Technology Research Field Computer science Mathematics Technology

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions