2-year postdoc or 3-year PhD-student position
The Computational Logic research group at the University of Innsbruck has one open position funded by the FWF (Austrian science fund) via the START project Certifying Termination and Complexity Proofs of Programs. The project aims […]