Clément Pit-Claudel (Nov 15 2020 at 03:42): Clément Pit-Claudel (Nov 15 2020 at 03:42):I'm going to start applying for faculty jobs this winter (mostly in the US, but also looking at some places in Canada and Europe); is anyone else in the Coq community planning to apply? If you're interested in swapping tips or if you want to look over each other's application materials (especially with so many places freezing hiring due to COVID), feel free to PM me (or reply here).
Bas Spitters (Nov 15 2020 at 13:03):At the HoTT zulip we have a vacancies stream. Would it make sense to create one here?
We're hiring in Aarhus. We're probably one of the biggest Coq groups outside France...
https://international.au.dk/about/profile/vacant-positions/job/aarhus-university-is-hiring-assistant-and-associate-professors-to-contribute-to-the-future-of-the-de/
Théo Zimmermann (Nov 15 2020 at 14:41):Possibly. Note though that these job position announcements are also welcome on the Discourse forum in the announcement category.
Karl Palmskog (Nov 15 2020 at 18:08):I think it would suffice with a topic like "Job opportunities" in the Miscellaneous stream. Not everything needs it own stream, which actually tends to lead to lower visibility
Last updated: Sep 15 2024 at 12:01 UTC