Pure Mathematics Specialist - Freelance AI Trainer Project - poste à distance

L'entreprise Invisible Technologies recrute : Pure Mathematics Specialist - Freelance AI Trainer Project. Le poste relève de la catégorie Enseignement et formation et se fait entièrement à distance. Aucune restriction n'est posée sur le lieu de résidence du candidat, vous pouvez donc postuler de partout.

L'entreprise a publié la rémunération : $35 - $65 par heure. L'annonce ne pose aucune condition d'horaires.

Cette offre a passé un contrôle automatique : les annonces qui exigent un permis de travail étranger, un parrainage de visa, une nationalité précise ou une résidence dans un pays nommé n'entrent pas dans la liste.

Êtes-vous un mathématicien chevronné passionné par les progrès de l'IA? Avec des modèles linguistiques à grande échelle qui progressent rapidement, leur capacité à gérer des raisonnements complexes fondés sur des preuves repose sur de solides données de formation mathématique. Grâce à votre expertise approfondie, vous pouvez contribuer à rendre les systèmes d'IA plus aptes à comprendre les concepts abstraits, le raisonnement logique et les structures complexes des mathématiques modernes. Vos idées seront cruciales pour façonner l'avenir de l'IA.

Nous recherchons des individus avec une compréhension profonde des mathématiques pures, capables d'explorer des sujets avancés dans la théorie des probabilités, la théorie des mesures, l'analyse réelle et fonctionnelle, l'optimisation, l'algèbre abstraite et la théorie de catégorie. De plus, nous avons besoin d'une bonne compréhension de Lean 4, l'assistant de preuve et le langage de programmation.

Sur une base quotidienne, vous élaborerez et examinerez des preuves complexes, en veillant à ce que le raisonnement mathématique soit à la fois correct et rigoureux, et en identifiant toute erreur conceptuelle ou logique subtile. Vous travaillerez également en étroite collaboration avec notre équipe afin d'élaborer et d'affiner des prompts, des cadres d'évaluation et des repères de raisonnement mathématique, améliorant ainsi la qualité globale de nos opérations.

Les candidats idéaux auront une maîtrise de Lean 4, un doctorat actuel ou en cours en mathématiques pures, ou expérience postdoctorale récente. Vous devriez être bien orienté dans des sujets essentiels comme Markov et les inégalités de Chebyshev, Hoeffding limites, théorème de convergence, le théorème d'extension Carathéodory, le théorème de représentation Riesz, Banach-Alaoglu, Lax-Milgram, approximation stochastique, le théorème Van Kampen, l'encastrement Yoneda et la représentativité en cohomologie. Des compétences de communication efficaces et métacognitives sont également essentielles.

Prêt à exploiter votre compétence Lean 4 et prouesses mathématiques pour former le noyau de raisonnement de demain l'IA? Appliquer maintenant et jouer un rôle central dans l'éducation des modèles qui aideront les chercheurs, les scientifiques et les ingénieurs du monde entier.

Notre gamme de rémunération est de 35 $ à 65 $ l'heure, avec le taux spécifique déterminé en fonction de votre expérience, expertise et emplacement géographique. En tant qu'entrepreneur, vous devrez fournir un ordinateur sécurisé et Internet haute vitesse; les avantages parrainés par l'entreprise comme l'assurance-maladie et les PTO ne sont pas inclus.

Titre du travail: Mathématiques pures et Lean 4 Spécialiste - Projet de formateur freelance AI Type d'emploi: Contrat Type de lieu de travail: Remote Initialement posté sur Himalayas