Contribute to a Paid Lean 4 Mathematics Project

Stream: job postings

[Luis Cordova]

We’re assembling a small group of Lean 4 / mathlib specialists to support an upcoming project with Invisible, an AI company working with leading organizations to improve advanced reasoning models.

This role focuses on formal reasoning and machine-checked proofs in Lean 4—closer to proof engineering and formal verification than application development. Your work will directly influence how AI systems learn to reason about mathematics and logic.

Ideal background

• Master's, PhD (in progress or recent), or PostDoc experience in pure mathematics
• Bachelor's or Master's, in progress or complete
• Strong foundation in probability, analysis, topology, or category theory
• Comfort with topics such as convergence theorems, functional analysis, measure theory, or homological/category-theoretic concepts
• Clear, explicit communication of proof strategies and reasoning

Details

• Remote, freelance, project-based (can be done alongside other work)
• Pay range: $35–$65 USD/hour, depending on experience and location

If you know others with strong Lean or formal methods experience, feel free to share this opportunity.
Apply at: https://job-boards.eu.greenhouse.io/agency/jobs/4737130101?gh_src=ga1gabg2teu

If you have any questions, please reach out, to me.

[Wrenna Robson]

Do you want expertise in all the listed areas?

[Luis Cordova]

@Wrenna Robson No, it is just some of the areas that can be worked on. Mainly once in the project you will work in the area, that is your strengths. However, their will be the opportunity to explore all areas of Math but will be able to work on what your expertise is in.

[Luis Cordova]

I should add that we are unable to hire from some countries, so if you are unable to apply for that reason, please keep in mind it isn't a reflection of your skills or expertise.

[Wrenna Robson]

Not looking for freelance work myself.

[Luis Cordova]

All good, thanks for the update.

[Luis Cordova]

We have changed this to include anyone with a Bachelor's or Master's, in progress or complete