← Voltar aos Trabalhos
Descrição
Applied Formal Methods Researcher (Lean 4)
Day-to-day
- Write and formalize advanced mathematical proofs in Lean for AI research
- Ideal for mathematicians focused on formal verification and pushing the limi
Focus
- AI research
Details
Category
General
Location
Remote
Employment Type
Freelance
Posted
03/04/2026
Oportunidades Relacionadas
Profissionais de agências de marketing em Nova Iorque / Londres (com mais de 5 anos de experiência)
$3,000 per weekCompradores e Agentes de Compras
$500 - $1,000 one-timeEspecialistas em Excel/PowerPoint/Estilo de Documentos
$200 - $400 one-timeEspecialista em Estratégia de Comércio (Programa Super Star)
$100 - $300 per hourTerapeuta Matrimonial e Familiar
$82 - $287 per hourReview
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started