Jobs People News Home
Verifying Without Loss of Generality
Bringing human insight and model checkers together
This project is funded by the Vienna Science and Technology Fund (WWTF)

News

We're hiring! We are looking for excellent candidates for a doctoral student position up to 4 years and a postdoctoral researcher position up to 2 years, starting in early 2026.
Read more
21/10/2025
The 'Verifying Without Loss of Generality' website is online

The website for our new WWTF-funded project Verifying Without Loss of Generality is now online.

This website is based on Yaoyao Liu's personal website.
The WLOG logo was created by Peter Pfeiffer.