Well, this seems as good a time as any to post that I am seeking PhD students to join my research group in Regina, Canada.
My current research projects involve:
If you're interested in systems like Agda, Idris, Lean, or Rocq then I encourage you to apply. Regina is a mid-sized city in Canada, and you would have the chance to be in a tightly-focused research group and to have regular contact with me as your supervisor.
Prior experience is not necessary, but it's a plus to have any experience with programming languages, functional programming, logic, type theory, or category theory.
The deadline to apply technically Feburary 15, but I can initiate an out-of-cycle review for a promising candidate. More information about the application process can be found here: https://www.uregina.ca/science/computer-science/graduate-programs/index.html
Feel free to boost, or to contact me with further questions!
(Note that I don't currently have openings for MSc students unless you have external funding, like an NSERC CGS-M or something similar).
=> More informations about this toot | View the thread | More toots from joey@mathstodon.xyz
text/geminiThis content has been proxied by September (3851b).