Agent Engineer
Mercor · Open
$100–$500/h
Available in 34 countries
Tech & dataEnglish: Not stated
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Mercor · Open
Available in 34 countries
About the platform
Large expert network with high rates for music, language and design experts. Publishes an official supported-countries list.
The platform publishes an official list of allowed countries. Source
Other jobs on this platform
$70–$90/h
Available in 34 countries
Tech & dataEnglish: Not stated
$100–$120/h
Available in 34 countries
Tech & dataEnglish: Not stated
$70–$150/h
Available in 34 countries
Tech & dataEnglish: Not stated
$45–$60/h
Available in 34 countries
Tech & dataEnglish: Not stated
$50–$60/h
Available in 34 countries
Tech & dataEnglish: Not statedAdvanced degree required