Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Assistant Professor Position (tenured) in Soft...

Email Gateway (Aug 22 2022 at 16:49):

From: Thomas Genet <thomas.genet@irisa.fr>
-------- Message transféré --------
Sujet : Assistant Professor Position (tenured) in Software Security at
University of Rennes (France)

Last updated: Feb 15 2026 at 05:19 UTC