Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Assistant/Associate Professor in Logical Found...

Email Gateway (Oct 04 2022 at 12:53):

From: Lawrence Paulson <lp15@cam.ac.uk>
This is one of six academic positions being advertised. The others are in areas such as Algorithms & Complexity and Computational Linguistics.

https://www.jobs.cam.ac.uk/job/37369/ <https://www.jobs.cam.ac.uk/job/37369/>

Larry Paulson

Last updated: Jan 04 2025 at 20:18 UTC