Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer in Verification. Details can be found here:
https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification Applicants doing research with and on proof assistants are most welcome. Female applicants are particularly encouraged. Best wishes, Andrei _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club