PhD Positions & Research Opportunities: 3-year doctoral fellowships in computer science with emphasis on formal methods. Topics include logic, programming languages, security, distributed systems, and complexity. Competitive salary; late autumn 2026 start; international, collaborative environment.