Want do do a PhD in Computer Science in the heart of Europe? We are hiring!

10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details: https://forsyte.at/docfunds/

PhD school on #AutomatedReasoning at #TUWien. Application deadline 2025-05-18.
Suggestions for topics: https://forsyte.at/docfunds/#topics
Recruitment notice: https://jobs.tuwien.ac.at/Job/249889
//CC @HalvarFlake

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik