PhD in Computer Science

Uppsala University, Department of Information Technology, Division of Computing Science, Programming Languages group hosts up to 2 PhD positions in programming languages and automated program verification. The projects focus on making it easier for developers to write safe, correct, and efficient programs and include theoretical development and practical implementations. Projects target: numerical programs and floating-point arithmetic; memory safety and memory-safe programming (e.g., type systems, static analyses, dynamic techniques); and concurrency safety (e.g., memory models, dynamic techniques, runtime implementations)./nLocation: Uppsala, Uppsala län, Sweden. /nEmployment: Temporary position according to the Higher Education Ordinance chapter 5 § 7. Scope of employment 100 %. Starting date 2026-04-01 or as agreed. Number of positions: 2.