Stream: Miscellaneous

Topic: job announcements


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

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

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

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

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

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

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

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