Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Positions at EPFL

Email Gateway (Aug 18 2022 at 16:38):

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: Feb 15 2026 at 05:19 UTC