2 computer-security-phd-student PhD positions at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 2 days ago

, programming language theory or semantics, logic, automata theory, automated theorem proving, and quantum computing. Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

education at all levels. We are currently Uppsala University's third largest department, and have around 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students