Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Opportunities to study for a PhD in Computer S...

Email Gateway (Aug 18 2022 at 17:40):

From: Tom Ridge <tom.j.ridge+cl-isabelle-users@googlemail.com>
Dear All,

The University of Leicester has 7 PhD studentships available in
computer science (broadly theoretical computer science) including
automated theorem proving and related topics.

The studentships include one sponsored by Microsoft Research.

Further details can be found eg on my website:

http://www.cs.le.ac.uk/~tr61/

If you know of anyone who would be interested, please encourage them
to apply. The closing date is May 15th.

Thanks

Tom

Last updated: Apr 16 2024 at 12:28 UTC