Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Microsoft-funded PhD opportunity (software/ sy...

Email Gateway (Aug 19 2022 at 10:50):

From: Tom Ridge <tom.j.ridge+list@googlemail.com>
Dear Colleagues,

I would be very grateful if you could bring the following advert to
the attention of potential applicants. Also, if anyone if interested
in the project, please do get in touch!

Thanks

Tom

Last updated: Mar 09 2025 at 12:28 UTC