Jason Rute (Oct 14 2022 at 11:37): Jason Rute (Oct 14 2022 at 11:37):Where is the best place to make job announcements focused to the Coq community? (If it is here on this Zulip, what stream is best?). The job will be about AI and theorem proving is it matters.
Emilio Jesús Gallego Arias (Oct 14 2022 at 11:41):Hi @Jason Rute , we have https://coq.discourse.group/ , which could have a job posting section. I think that maybe opening a Job Posting stream here could be very cool.
Wider audience by far is coq-club so you gotta cc them to, IMHO
Jason Rute (Oct 14 2022 at 11:57):@Emilio Jesús Gallego Arias Forgive my ignorance, what does it mean to cc the Coq-club? That is an email mailing list, right? You mean just to cross post on Discord and the Coq-club?
Karl Palmskog (Oct 14 2022 at 12:18):unfortunately you have to cross post to the Discourse and Coq-Club. But you can at least send an email to the Discourse, it can be treated like an email list: https://github.com/coq/coq/wiki/Discourse (instructions)
Théo Zimmermann (Oct 14 2022 at 13:24):Note that Discord and Discourse are not the same thing. Coq has no official presence on Discord, whereas it has an official Discourse forum.
Théo Zimmermann (Oct 14 2022 at 13:26):On Discourse, you should target the announcement category for job announcements. Any announcement there is relayed to #Announcements here on Zulip. And like Karl said, you should probably cross-post to Coq-Club, with email being the simplest way for such cross-posting.
Théo Zimmermann (Oct 14 2022 at 13:30):A recent example is: https://coq.discourse.group/t/phd-postdoc-vacancy-on-the-verification-of-cryptographic-protocols-at-aarhus-university/1820
Cross-posted to Coq-Club: https://sympa.inria.fr/sympa/arc/coq-club/2022-10/msg00027.html
And relayed on Zulip: https://coq.zulipchat.com/#narrow/stream/237981-Announcements/topic/New.20announcements.20on.20Discourse/near/303636541
Emilio Jesús Gallego Arias (Nov 02 2022 at 17:02):Addenum: we discussed about this in today's Coq call, now you have a dedicate "job" posting tag on Discourse, that you folks can use
Last updated: May 31 2023 at 03:30 UTC