Job Posting: Remote Lean4 Trainers

Stream: job postings

[abaka.AI-jl]

:grinning: Overview

We are recruiting remote Lean4 trainers from around the world to formalize mathematical problems using Lean4.

The problems will cover a wide range of topics, including inequalities, number theory, analysis, algebra, and IMO competition questions, and will involve formalizing calculations, fill-in-the-blanks, and proofs.

Compensation
Standard Problems: Comprehensive hourly rate of $20 USD, calculated per problem solved.
IMO Problems: $70 USD/hour.
We can offer customized payment arrangements to ensure you receive your compensation conveniently.

Qualifications
Proficient in Lean4 (training will be provided, so no prior experience is necessary).
Strong math background.

How to Apply
Send your application to jiangliang@abaka.ai.

Join us in making math accessible to learners worldwide!