le coq d'or

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems — especially Lean — to translate complex human-written arguments into precise, machine-verifiable...

Description de l’entrepriseLa référence des grands chefs : Une maison répertoriée par le Guide Michelin et le Gault&Millau comme l'une des meilleures boucheries du pays et le partenaire de confiance des restaurants étoilés.L’excellence du terroir : Lauréat du prestigieux prix Coq d'Or décerné par Génération W, récompensant la démarche...

Description de l’entrepriseExpertise Blanc Bleu Belge (BBB) : Reconnu pour sa maîtrise de la découpe du Blanc Bleu Belge, travaillant exclusivement avec les meilleurs éleveurs de la région de Bastogne pour offrir une viande tendre et de haut rendement.Découpe Artisanale sur Mesure : L'atelier est réputé pour sa flexibilité, proposant des découpes...

SOCIÉTÉ D INSERTION PAR LE NETTOYAGE D AISEAU PRESLES - SINAP SERVICES recrute des accompagnateurs sociaux pour aider des travailleurs défavorisés à s’insérer durablement en entreprise d’insertion ou ailleurs. Le poste implique des entretiens réguliers, un accompagnement psycho-social et l’animation d’activités liées aux parcours...

Les tâches du/des accompagnateur(s) social(aux) sont clairement définies, par décret.Il s’agit principalement de:avoir des entretiens en face à face, individuels et collectifs, réguliers avec les travailleurs défavorisés ou gravement défavorisés, actifs au sein de l’entreprise d’insertion agréée, dans la perspective de favoriser, d’une...