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.

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

@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?

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)

Note that Discord and Discourse are not the same thing. Coq has no official presence on Discord, whereas it has an official Discourse forum.

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.

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

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: Jan 29 2023 at 19:02 UTC