[isabelle] Fwd: Opportunities to study for a PhD in Computer Science
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:
If you know of anyone who would be interested, please encourage them
to apply. The closing date is May 15th.
This archive was generated by a fusion of
Pipermail (Mailman edition) and