Foundations of Computing and Concurrency (Computer Science)
Career prospects
Designing safe, secure and provable systems
This track prepares students for careers where formal correctness, complexity, and security are key. Graduates are highly sought after in academia, research institutes, fintech, cybersecurity, and tech companies requiring high-assurance systems.
Typical roles for graduates:
- Formal methods engineer
- Security analyst / cryptographer
- Distributed systems researcher
- Algorithm designer
- PhD candidate in Theoretical Computer Science
Where can you work?
Graduated of this track have joined:
- Research institutes like CWI or INRIA
- University PhD programmes across Europe and beyond
- Tech companies requiring formal verification and secure systems
- R&D divisions in high-assurance or critical-systems industries
Further academic opportunities
many students from this track continue into doctoral programmes in logic, algorithms, cryptography, or concurrency theory at UvA, VU, or top institutions worldwide.