2 computer-software-"https:"-"UCL" PhD positions at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 12 days ago

insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties

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