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
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
Votre avenir mécanique se construit à La Seyne-sur-Mer !
Temporis Toulon recrute un Mécanicien Monteur H/F passionné !
Vous êtes un as de la clé à...
Location: La Seyne-Sur-Mer , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
Entreprise :Votre agence d''emploi en CDI ou en Intérim Temporis Six-Fours-les-PlagesDescription du poste :Arnaud, Célia et Mélissa recrutent un(e)...
Location: La Seyne-Sur-Mer , Provence-Alpes-Côte D''azur
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Mission Vous occupez une place primordiale aux côtés du Chef de cuisine pour les préparations culinaires du restaurant au sein d'un EHPAD. Vous...
Location: Boulogne-Sur-Mer , Nord-Pas-De-Calais
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
ACEPP Entreprise est une société de Conseil en Technologie Industrielle. Nos collaborateurs, experts dans les secteurs du nucléaire du civil et du...
Location: La Seyne-Sur-Mer , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 13 Jul 2025
Language(s): French
Date Added: 13 Jul 2025
Créé en 2016, Sevetys est l’acteur de référence de la santé animale en France. Ancré au cœur des territoires, et déjà adopté par plus de 200 cliniques...
Location: Les Sables-D'olonne , Pays De La Loire
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
TEMPORIS Vendée Littoral, plus qu'une agence, c’est une team implantée localement sur le territoire Vendéen. Au sein de notre agence des Sables...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Conseiller de clientèle Essentiel Junior Réseau d'agences et banque en ligne CDD Trouville-Sur-Mer, Normandie, France Référence 25000FFA Date de...
Location: Trouville-Sur-Mer , Normandy
Language(s): French
Date Added: 17 Jul 2025
Language(s): French
Date Added: 17 Jul 2025
Et si c’était le moment de faire évoluer votre avenir professionnel ?
L’agence Temporis Les Sables d’Olonne recherche pour l’un de ses clients basé à...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 22 Jul 2025
Language(s): French
Date Added: 22 Jul 2025
On ne choisit pas sa famille mais on choisit son futur JOB !!!
Et c’est le moment, c’est MAINTENANT !
Temporis Les Sables d’Olonne souhaite être...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 14 Jul 2025
Language(s): French
Date Added: 14 Jul 2025
Description : Le talent recherché par l’équipe TEMPORIS des Sables d’Olonne est un "Pâtissier / Pâtissière H/F"
Vous interviendrez au sein d’une...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 Jul 2025
TEMPORIS, 1er réseau national d’intérim et de recrutement en franchise, offre à tous ses clients, intérimaires et entreprises, l’implication et la...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 16 Jul 2025
Language(s): French
Date Added: 16 Jul 2025
Temporis Les Sables d’Olonne, révélateur de compétences et à l’écoute de vos envies professionnelles. Chez nous, nous cherchons, nous scrutons, mais...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 26 Jul 2025
Language(s): French
Date Added: 26 Jul 2025
Temporis Les Sables d’Olonne, révélateur de compétences et à l’écoute de vos envies professionnelles. Chez nous, nous cherchons, nous scrutons, mais...
Location: Bretignolles-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 20 Jul 2025
Language(s): French
Date Added: 20 Jul 2025
Vos missions Bienvenue sur la route du Succès ! Devenez coach dans le réseau leader de la nutrition !
Vous rêvez de devenir entrepreneur tout en ayant...
Location: Argelès-Sur-Mer , Languedoc-Roussillon
Language(s): French
Date Added: 10 Jul 2025
Language(s): French
Date Added: 10 Jul 2025
Temporis Les Sables d’Olonne cherche un(e) super Boulanger(e) pour son client !
Vos missions :
Pétrissage magistral
Façonnage créatif
Cuisson...
Location: Jard-Sur-Mer , Pays De La Loire
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 Jul 2025
Stage - Conseil Marché des Particuliers Autres Stage Boulogne-Sur-Mer, Hauts-de-France, France Référence 25000BEY Date de début 17/06/2025 Date de...
Location: Boulogne-Sur-Mer , Hauts-De-France
Language(s): French
Date Added: 21 Jul 2025
Language(s): French
Date Added: 21 Jul 2025
Conseiller de Clientèle Premium Junior Réseau d'agences et banque en ligne CDI Boulogne-Sur-Mer, Hauts-de-France, France Télétravail possible...
Location: Boulogne-Sur-Mer , Hauts-De-France
Language(s): French
Date Added: 25 Jul 2025
Language(s): French
Date Added: 25 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
A propos de l'entreprise :
Véritable leader de la restauration collective, le groupe DUPONT RESTAURATION est une entreprise familiale qui ne...
Location: Boulogne-Sur-Mer , Hauts-De-France
Language(s): French
Date Added: 23 Jul 2025
Language(s): French
Date Added: 23 Jul 2025
Description du posteDans le cadre d’un surcroît d’activité au sein de notre Division Internationale, nous recrutons un CDD pour une période de 4 mois....
Location: Lyon , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 03 Jul 2025
Language(s): French
Date Added: 03 Jul 2025
Description du posteDans le cadre d’un surcroît d’activité au sein de notre Division Internationale, nous recrutons un CDD pour une période de 4 mois....
Location: Lyon , Auvergne-Rhône-Alpes
Language(s): French
Date Added: 08 Jul 2025
Language(s): French
Date Added: 08 Jul 2025
Vos missions Bienvenue sur la route du Succès ! Devenez coach dans le réseau leader de la nutrition !
Vous rêvez de devenir entrepreneur tout en ayant...
Location: Boulogne-Sur-Mer , Nord-Pas-De-Calais
Language(s): French
Date Added: 19 Jul 2025
Language(s): French
Date Added: 19 Jul 2025
Conseiller de clientèle Essentiel Expérimenté Réseau d'agences et banque en ligne Alternance Sanary-Sur-Mer, Provence-Alpes-Côte d'Azur, France...
Location: Sanary-Sur-Mer , Provence-Alpes-Côte D'azur
Language(s): French
Date Added: 14 Jul 2025
Language(s): French
Date Added: 14 Jul 2025
