[New Blog Post] Implementing E Unification using SMT https://www.philipzucker.com/smt_unify/ #logic #automatedreasoning #smt
Want do do a PhD in Computer Science in the heart of Europe? We are (still) hiring!
4 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: November 27, 2025
Start: immediately (or soon after)
Details: https://forsyte.at/docfunds/