Traduire Les Preuves Coq Ou Lean Dans Isabelle/HOL // Translating Coq Or Lean Proofs To Isabelle/HOL
Topic description Il existe déjà des traducteurs de systèmes basés sur la théorie des types simples vers des systèmes basés sur la théorie des types...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 15 Jul 2025
Language(s): French
Date Added: 15 Jul 2025
Contexte et atouts du poste Avec l’Intelligence Artificielle, les GPUs deviennent de plus en plus spécialisés pour l’accélération de Réseaux de...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
ICM Investissement Clés en Main est une société spécialisée dans l’investissement immobilier locatif clés en main, à destination des Conseillers en...
Location: Nice , Provence-Alpes-Côte D''azur
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
ICM Investissement Clés en Main est une société spécialisée dans l’investissement immobilier locatif clés en main, à destination des Conseillers en...
Location: Bordeaux , Nouvelle-Aquitaine
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Montargis , Centre-Val De Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Fontainebleau , Île-De-France
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Dijon , Burgandy
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Saint-Nazaire , Pays De La Loire
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Pourquoi vous allez adorer travailler avec nousUne vraie méthode qui fonctionne (et qu’on vous transmet sans retenue)Un esprit d’équipe sincère :...
Location: Rennes , Brittany
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Topic description isabelle_dedukti est un outil qui extrait des preuves d'Isabelle et les traduit en Lambdapi, un langage qui, à son tour, peut être...
Location: Gif-Sur-Yvette , Île-De-France
Language(s): French
Date Added: 24 Jul 2025
Language(s): French
Date Added: 24 Jul 2025
Description du poste Présentation de la mission Nous
recherchons des bénévoles pour nous aider à développer notre
structure et l''organisation de nos...
Location: Paris , Île-De-France
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
A propos de l'entreprise :
Innover ensemble pour concevoir notre futur.ECM est la filiale Ingénierie et Conseil en Technologies du groupe...
Location: Les Ulis , Île-De-France
Language(s): French
Date Added: 23 Jul 2025
Language(s): French
Date Added: 23 Jul 2025
Job DescriptionDescription du rôle :Vous serez l’interlocuteur privilégié de l’un ou plusieurs de nos clients distributeurs. Vous serez responsable du...
Location: Bezons , Île-De-France
Language(s): Only English Required
Date Added: 05 Jul 2025
Language(s): Only English Required
Date Added: 05 Jul 2025
Job DescriptionDescription du rôle :Vous serez l’interlocuteur privilégié de l’un ou plusieurs de nos clients distributeurs. Vous serez responsable du...
Location: Bezons , Île-De-France
Language(s): French
Date Added: 11 Jul 2025
Language(s): French
Date Added: 11 Jul 2025
ExperisFrance recherche pour son agence de Bordeaux un Assistant administratif en réseaux télécoms (H/F) dans un univers télécom en prestation pour...
Location: Bordeaux , Nouvelle-Aquitaine
Language(s): French
Date Added: 12 Jul 2025
Language(s): French
Date Added: 12 Jul 2025
Capgemini en quelques motsChoisir Capgemini, c''est choisir une entreprise où vous serez en mesure de façonner votre carrière selon vos aspirations,...
Location: Issy-Les-Moulineaux , Île-De-France
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
Détails de l'offre Famille de métiers Enfance, famille > Petite enfance Grade(s) recherché(s) Assistant socio-éducatif Métier(s) Ouvert aux...
Location: Hauts-De-Seine, Fr , Île-De-France
Language(s): French
Date Added: 09 Jul 2025
Language(s): French
Date Added: 09 Jul 2025
Vos missions Description de la mission Sous la responsabilité de l’Infirmière Coordinatrice, vous interviendrez en binôme avec une autre...
Location: Côte-D'or , Bourgogne-Franche-Comté
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
Sujet de thèse : Gestion quantitative des incertitudes pour les modèles de performances des systèmes
Partenaire industriel : Liebherr Aerospace...
Location: Toulouse , Occitanie
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
ExperisFrance recherche pour son agence de Toulouse un Pilote d'activité en réseaux télécoms (H/F) dans un univers télécom en prestation pour l’un de...
Location: Toulouse , Occitania
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
? Missions principales :
- ??????? ?? ????????????, ????????????????? ?? ?? ????? ?? ?????? ???? de bout en bout jusqu?à sa certification ;
-...
Location: Paris , Île-De-France
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Informations généralesIntitulé de l'offre : Doctorant - Enseigner les mathématiques et l'informatique de premier cycle avec un assistant de preuve...
Location: Paris , Île-De-France
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Informations générales La Criée Centre d'art contemporain est un équipement culturel de la Ville de Rennes, qui a pour mission le soutien à la...
Location: Rennes , Brittany
Language(s): French
Date Added: 23 Jul 2025
Language(s): French
Date Added: 23 Jul 2025
Le rôle des Achats au sein de notre groupe est très important car nous sommes soumis aux variations et fluctuations des matières premières et du...
Location: Limonest , Auverge-Rhône-Alpes
Language(s): French
Date Added: 05 Jul 2025
Language(s): French
Date Added: 05 Jul 2025
Job DescriptionVous intégrerez, au sein de notre Pôle Cybersécurité, une équipe en charge d’accompagner nos clients sur des missions de conseil en...
Location: Paris , Île-De-France
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
