Technical Communications & Content Lead

About Lean FRO Lean FRO advances Lean, an open-source programming language and proof assistant for formalizing mathematics and verifying software and hardware. We want developers, researchers, organizations, and decision-makers to understand what Lean can do, how it is evolving, and why it matters. The Role We are looking for a hands-on communicator and content creator to own Lean FRO’s external communications.

This is an individual-contributor role with responsibility for editorial priorities, content production, and publication. You will personally create and edit content, working directly with Lean developers and leadership. You will turn technical developments into clear, engaging stories, build a consistent public presence, and help audiences understand Lean accurately.

Developers will provide technical context and review; you will drive the communications process from idea to publication.