Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position on program verification in Coq


view this post on Zulip Email Gateway (May 28 2021 at 09:03):

From: David Nowak <david.nowak@univ-lille.fr>
Dear all,

We have an opening for a 3-year PhD position at University of Lille,
France. The successful applicant will be funded


Last updated: Sep 25 2021 at 09:17 UTC