From: Tobias Nipkow <nipkow@in.tum.de> EPFL has possible openings for tenure-track and tenured positions in all areas, mentioning in particular verification. See attachement.
Tobias epfl.pdf
Last updated: Jul 03 2025 at 01:50 UTC