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

Build and maintain our public presence. Manage Lean FRO’s presence on channels such as X, LinkedIn, and YouTube. Highlight new features, tools, research results, and community achievements. Maintain an editorial calendar, communicate important developments promptly, and use audience feedback and engagement to improve results. Identify emerging or underserved relevant channels and build presence where needed.

Create engaging technical content. Produce and edit short videos, written posts, simple illustrations, and screen-recorded demonstrations. Turn release notes, documentation, technical posts, and developer discussions into accessible explanations. Choose formats that explain the subject effectively and can be produced consistently.

Improve public understanding. Follow relevant public discussions and identify significant factual errors or gaps in understanding. Distinguish substantive criticism from misinformation, acknowledge genuine limitations, and prepare clear, evidence-based explanations. Exercise judgment about when engagement would help and when it would simply amplify a dispute.

Work closely with technical experts. Build relationships with developers and contributors and proactively identify stories. Use Lean’s documentation, release notes, and technical posts as the factual foundation for content. Seek expert review for new, uncertain, or sensitive technical claims, and work with technical leadership on sensitive responses. Own preparation, coordination, and publication.

Hands-on content creation. You have personally produced and edited compelling short videos, clear written content, and simple visual explanations. You can explain complex ideas accurately and engagingly. Technical curiosity and aptitude. You can learn complex technical material, ask useful questions, and recognize when a claim needs expert review. Independent ownership. You identify promising stories, set priorities, maintain a publication schedule, and take content from idea to publication. You seek input when needed and own coordination and follow-through. Sound judgment. You understand your audience, respond constructively to criticism, and make thoughtful decisions about what deserves public attention. Collaboration. You work effectively with technical experts, incorporate feedback, and give contributors appropriate credit. (Optional) On-camera communication. You are comfortable presenting on camera and can explain technical ideas clearly and confidently.

You should be genuinely excited about Lean’s mission. You do not need to be a Lean expert when you join, but you must be eager and able to learn enough to communicate accurately. We value demonstrated ability, initiative, and judgment more than formal credentials or previous job titles.

Especially valuable: Experience communicating about programming languages, mathematics, formal verification, software engineering, or AI; familiarity with open-source and developer communities; experience building an audience for a technical project; and advanced illustration, animation, or longer-form video production skills.

Within your first six months, we would like to see a reliable content pipeline and a cadence of approximately 3-5 distinct social updates per week, adapted for the relevant platforms. Short videos and visual demonstrations should be a regular part of this output.

Success also means timely coverage of important releases and ecosystem developments, accurate and engaging explanations, thoughtful responses to consequential misconceptions, and an efficient working relationship with technical reviewers.

How to Apply

Send a brief introduction explaining your background and interest in Lean, along with three to five relevant examples of work you personally created.

We are particularly interested in short technical videos, visual explanations, demonstrations, and social posts. For each example, describe the intended audience and your individual contribution, including whether you handled writing, presentation, recording, editing, or illustration.

Paid practical exercise. Finalists will complete a small, paid exercise using supplied Lean technical material. It will include a short finished video and an accompanying social post. We will provide the intended audience, scope, expected time commitment, and payment in advance. We will evaluate clarity, technical accuracy, production quality, audience awareness, and judgment.

Why Join Lean FRO?

Work directly with the people building Lean, turn substantive technical work into content people understand, and take ownership of a communications function whose direction you can help shape.