We invite applications for postdoc and senior researchers. The candidates will pursue collaboration with Bart Jacobs (Nijmegen), Joost-Pieter Katoen (Aachen), and Sam Staton (Oxford). The positions are for 4.5 years max.
- [Abstract and Concrete Automated Verification]
We look for 1) model checking specialists with aspiration for lattice- and category-theoretic abstract theories, or conversely, 2) category theorists with aspiration for efficient model checking algorithms. - [Mathematical Logic for Software, Systems, and Society]
We look for formal verification specialists (theorem proving or model checking) with aspiration to take up real-world problems.