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).
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...
Possibly. Note though that these job position announcements are also welcome on the Discourse forum in the announcement category.
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: Jan 29 2023 at 07:29 UTC