À propos du poste
Soyez payé pour repousser la frontière des mathématiques formelles — écrivez des preuves Lean qui mettent au défi ce que l'IA peut vérifier. Entièrement à distance, hautement spécialisé....
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.