Stream: General

Topic: Job announcements

view this post on Zulip Jason Rute (Oct 14 2022 at 11:35):

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.

view this post on Zulip Manuel Eberl (Oct 14 2022 at 11:39):

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: Jun 20 2024 at 12:31 UTC