Tootfinder

If you're advertising (academic) jobs via email/Slack/Zulip/etc and want broad circulation it's really helpful to also have a link to an associated web page to make it easier for folks to share these positions on socials, in other Slacks/Zulips, etc. It doesn't need to be an official job ad, just a page on your website/blog that includes the same information.

The Lean project is looking for someone to work on a documentation tool for math/technical communication. This is likely to be very influential, so a chance for someone with the right skills to have great impact. See the announcement here:
https://

Public view of Lean | Zulip team chat
Browse the publicly accessible channels in Lean without logging in.