paycom payroll llc

2 offres d'emploi paycom payroll llc en France. Offres mises à jour quotidiennement.

Formal Mathematician

Il y a 5 jours

Paris, Île-de-France Mercor Télétravail Temps plein 83 000 € - 110 000 € Contrat

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean.1. OverviewA leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the lab's...
Lean Engineer

Il y a 5 jours

Paris, Île-de-France Mercor Temps plein 83 000 € - 165 000 € Contrat

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the...

Villes principales

Secteurs principaux

Explorer les salaires

Comparez les salaires par poste et secteur

Rechercher salaires

Recherches populaires

Recherches associées

paycom payroll llc Paris paycom payroll llc Lyon paycom payroll llc Marseille paycom payroll llc Toulouse paycom payroll llc Nice paycom payroll llc Nantes paycom payroll llc Montpellier paycom payroll llc Strasbourg