Where is the best place to make job announcements focused to the Isabelle community? (If it is here on this Zulip, what stream is best?). The job will be about AI and theorem proving is it matters.
I'd say just put it in the Announcements stream. That's where everyone else seems to put them. I would suggest posting it on the isabelle-users mailing list as well.
Last updated: Feb 27 2024 at 08:17 UTC