Zulip Chat Archive

Stream: job postings

Topic: PhD position in formalization of maths at Utrecht Unive...

Johan Commelin (Oct 12 2023 at 19:22):

I am looking for a PhD student for a project on formalization of arithmetic geometry. See the job ad for details. Please write to me (email, or Zulip PM) if you have questions.

Notification Bot (Oct 17 2023 at 15:40):

Diego Marmsoler has marked this topic as resolved.

Notification Bot (Oct 17 2023 at 15:46):

Diego Marmsoler has marked this topic as unresolved.

Last updated: Dec 20 2023 at 11:08 UTC