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 <>
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: Jul 15 2022 at 23:21 UTC