Spécialiste en mathématiques pures — formateur IA freelance

Emploi pas sur LinkedIn

🕒 il y a 2 mois

Postuler Maintenant

Trouver des Emplois à Distance Similaires

Recevoir des emails pour des emplois à distance

📊 Vérifiez votre score de CV pour ce poste

Améliorez vos chances d'obtenir un entretien en vérifiant votre score de CV avant de postuler.

Télécharger le CV

Invisible Technologies

Site WebLinkedInTous les Emplois

201 - 500 employés

Fondée en 2015

🤖 Intelligence artificielle

☁️ SaaS

🏢 Entreprise

🔥 Financement dans la dernière année

💰 €100 000 000 Series unknown en 2025-10

Artificial Intelligence • SaaS • Enterprise

Invisible Technologies est une entreprise spécialisée dans les plateformes et services d'intelligence artificielle (IA) qui conçoit et déploie des systèmes d'IA de qualité production pour les grandes organisations. Elle combine une plateforme SaaS modulaire (plateforme de données, créateur de processus, agents, évaluations) avec un marché d'experts humains pour former des modèles, automatiser les workflows complexes des services d'arrière-guichet, améliorer les centres de contact, fournir des solutions de vision par ordinateur et de prévision de la demande, et garantir une évaluation et une gouvernance continues. Invisible intervient dans divers secteurs (finance, santé, secteur public, sport, commerce de détail) pour intégrer l'IA dans de véritables systèmes opérationnels et intensifier les résultats.

Description

• Construire et évaluer des preuves complexes • Étayer le raisonnement mathématique pour en garantir la correction et la rigueur, tout en identifiant les défaillances conceptuelles ou logiques subtiles • Transcrire le contenu pour le formaliser en syntaxe .lean (Lean 4) • Collaborer avec notre équipe pour affiner les prompts, les cadres d'évaluation et les benchmarks de raisonnement mathématique

🎯 Exigences

• Spécialiste doté de solides bases en mathématiques pures • Intervenir sur des sujets avancés couvrant la théorie des probabilités, la théorie de la mesure, l'analyse réelle et fonctionnelle, l'optimisation, l'algèbre abstraite et la théorie des catégories • Maîtrise de Lean 4 • Doctorat en cours ou récemment obtenu, ou expérience postdoctorale actuelle en mathématiques pures • Excellente maîtrise des domaines fondamentaux • À l'aise avec des sujets tels que les inégalités de Markov et de Tchebychev, les bornes de Hoeffding, les théorèmes de convergence, le théorème d'extension de Carathéodory, le théorème de représentation de Riesz, le théorème de Banach–Alaoglu, le théorème de Lax–Milgram, l'approximation stochastique, le théorème de Van Kampen, le plongement de Yoneda et la représentabilité en cohomologie • Communication claire et métacognitive (articulation explicite des raisonnements et des stratégies de preuve) indispensable.

🏖️ Avantages

• Les avantages pris en charge par l'entreprise (assurance santé, congés payés, etc.) ne s'appliquent pas.