Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] formal methods hiring


view this post on Zulip Email Gateway (Aug 18 2022 at 12:37):

From: Daniel Leivant <leivant@cs.indiana.edu>
Indiana University Computer Science Department seeks applicants for jonior and senior positions, with Formal Methods as one of the target areas. Please see www.cs.indiana.edu/hiring/facultylist.html for details and on-line application.

While the stated closing date is December 31, applications are already actively considered, and interested people are urged to apply as soon as possible.


Last updated: Nov 21 2024 at 12:39 UTC