Parsewave.ai — Hiring Lean 4 Developers for AI Benchmark Task Review (🌍 Remote / Flexible)
Apply here 👉 https://parsewave.ai/apply-lean
🚀 About Parsewave
Parsewave.ai builds frontier coding datasets that help train and evaluate the next generation of AI reasoning models.
We work with top AI labs, engineers, and technical contributors to create challenging, realistic tasks that reflect how people actually reason through complex problems. We’re now looking for Lean 4 developers to help review coding tasks used to benchmark AI agents.
💻 The Role
You’ll review Lean 4 coding tasks and proofs designed to test the reasoning ability of advanced AI systems.
Most of the work will involve reviewing Lean 4 proofs across a range of domains, including but not limited to:
📐 Mathematics
🤖 Finite automata
🧩 Theorem proving and formal reasoning
You’ll help assess whether tasks are correct, meaningful, and well-constructed, with an eye toward both technical rigor and benchmarking quality.
🧰 What We’re Looking For
Strong understanding of Lean 4
Familiarity with the surrounding Lean 4 libraries and ecosystem
Comfort with theorem proving and mathematical reasoning
Ability to review formal proofs across varied technical topics
Bonus:
Knowledge of Git, Python, and Bash
🌎 Flexibility
Fully remote and async
Work whenever, wherever
Choose as much or as little work as you like
Apply here 👉 https://parsewave.ai/apply-lean
