| FDD3006 | Temporal Logic | 4.0 credits | Third cycle |
| FDD3008 | Distributed Algorithms | 6.0 credits | Third cycle |
| FDD3011 | Seminars in Static Analysis | 7.5 credits | Third cycle |
| FDD3013 | Sum of Squares and Integer Programming Relaxations | 6.0 credits | Third cycle |
| FDD3016 | Reading Course in Computer Science for PhD students 1,5 hp | 1.5 credits | Third cycle |
| FDD3017 | Reading Course in Computer Science for PhD students 3 hp | 3.0 credits | Third cycle |
| FDD3018 | Reading Course in Computer Science for PhD students 6 hp | 6.0 credits | Third cycle |
| FDD3019 | Reading Course in Computer Science for PhD students | 9.0 credits | Third cycle |
| FDD3024 | Research preparation course in programming languages and formal methods | 10.0 credits | Third cycle |
| FDD3029 | Epistemic Logic | 6.0 credits | Third cycle |
| FDD3250 | Knowledge in Games with Imperfect Information | 6.0 credits | Third cycle |
| FDD3335 | Quantum Computing | 6.0 credits | Third cycle |
| FDD3341 | Topics in Theoretical Computer Science | 2.0 credits | Third cycle |
| FDD3343 | Seminars on Theoretical Computer Science | 7.5 credits | Third cycle |
| FDD3344 | Privacy- Enhancing Technologies | 7.5 credits | Third cycle |
| FDD3350 | Masterpieces in Theoretical Computer Science | 7.5 credits | Third cycle |
| FDD3372 | Automata and Languages | 6.0 credits | Third cycle |
| FDD3381 | sum of Square Seminar | 7.5 credits | Third cycle |
| FDD3390 | Approximation Algorithms | 6.0 credits | Third cycle |
| FDD3402 | Combinatorial Optimization | 6.0 credits | Third cycle |
| FDD3445 | Complexity Theory | 7.5 credits | Third cycle |
| FDD3452 | Formal Methods | 7.5 credits | Third cycle |
| FDD3456 | Advanced Objekt Oriented Systems | 7.5 credits | Third cycle |
| FDD3459 | Software Reliability | 9.0 credits | Third cycle |
| FDD3460 | Plagiarism Detection and Graph Isomorphy | 6.0 credits | Third cycle |
| FDD3461 | Interactive Theorem Proving | 4.5 credits | Third cycle |
| FDD3462 | Computer Science Education Research | 7.5 credits | Third cycle |
| FDD3463 | Software Safety and Security | 7.5 credits | Third cycle |
| FDD3501 | Current Research in Proof Complexity | 9.0 credits | Third cycle |
| FDD3502 | Communication Complexity | 6.0 credits | Third cycle |
| FDD3511 | Seminar course in Formal Methods and Cyber Security, stage 1 | 3.0 credits | Third cycle |
| FDD3512 | Seminar course in Formal Methods and Cyber Security, stage 2 | 3.0 credits | Third cycle |
| FDD3557 | Program and Semantics and Analysis | 7.5 credits | Third cycle |
| FJT3382 | Analysis of Boolean Functions | 7.5 credits | Third cycle |
