Stream: Miscellaneous

Topic: Anyone applying for faculty positions this year?

view this post on Zulip 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).

view this post on Zulip 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...

view this post on Zulip 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.

view this post on Zulip 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: Dec 01 2023 at 04:01 UTC