Doctorand en Verification Formelle

Informations générales Intitulé de l'offre : Post-doctorant ou post-doctorante en formalisation du langage Rust et compilation formellement vérifiée (H/F) Référence : UMR5104-DAVMON0-001 Nombre de Postes : 1 Lieu de travail : ST MARTIN D HERES Date de publication : mardi 26 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du...

Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 17 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant ou post-doctorante en formalisation du langage Rust et compilation formellement vérifiée (H/F)** Référence :...

Présentation de l'offreL'équipe de recherche du CNRS est à la recherche d'un développeur expérimenté pour rejoindre son équipe dans le cadre d'une mission de 12 mois. La tâche principale consiste à formaliser des aspects du langage Rust en utilisant un assistant de preuve, afin de contribuer à l'étude préliminaire de la compilation formellement...

Le psychologue est impliqué dans l’accompagnement de la personne âgée tout au long de son cheminement au sein de l’institution et est amené à intervenir plus particulièrement lors de circonstances telles que: - l’accueil (pré-admission, admission) et accompagnement dans l’intégration - les hospitalisations - l’accompagnement lors de...

Contexte et atouts du poste L’équipe de recherche CONVECS [L1] (INRIA, Univ. Grenoble Alpes, Grenoble INP, CNRS) étudie la modélisation et la vérification formelle de systèmes distribués, en proposant des langages de nouvelle génération pour décrire formellement le comportement et les propriétés de correction de ces systèmes. Ces...

Découvrez notre offreNous recherchons un chef de projet calcul mécanique pour rejoindre notre équipe dans le domaine nucléaire. Vous aurez la responsabilité technique du projet, de la conception jusqu'à la réception sur site.À propos de la fonctionL'objectif principal de ce poste est d'assurer et de coordonner toutes les actions d'ingénierie de vos...

A propos de l'entreprise : Synergie, mettons nos énergies en commun. Fort d'une présence dans 17 pays, avec 800 agences d'emploi et de 5 600 collaborateurs, le Groupe Synergie, 1er groupe français de services en Ressources Humaines, vous accompagne dans votre carrière professionnelle : recrutement CDD-CDI, intérim, formation et conseil RH. Depuis...

Description du PosteNous recherchons un Magasinier Cariste pour rejoindre notre équipe en Vendée. Cette entreprise familiale est spécialisée dans la conception, la fabrication et la distribution de matériel dédié à l'agriculture.Vous serez chargé de préparer des commandes selon les quantités demandées, de rassembler les pièces et les...

Vous rejoignez VINCI Energies Activité Nucléaire, fiers de contribuer à maintenir la sûreté des installations nucléaires afin de produire une énergie décarbonée qui a toute sa place dans le mix énergétique.Présentation de l'entrepriseDans un monde en évolution permanente, VINCI Energies accélère la transition environnementale en...

VOUS AVEZ DE L’AVENIR DANS LE NUCLÉAIRE, REJOIGNEZ LE GROUPE VINCI ENERGIES ! Dans un monde en évolution permanente, VINCI Energies accélère la transition environnementale en concrétisant deux mutations majeures, numérique et énergétique. Ses équipes déploient des technologies et des solutions multi techniques sur mesure, de la conception à...

Synergie, mettons nos énergies en commun. Fort d'une présence dans 17 pays, avec 800 agences d'emploi et de 5 000 collaborateurs, le Groupe Synergie, 1er groupe français de services en Ressources Humaines, vous accompagne dans votre carrière professionnelle : recrutement CDD-CDI, intérim, formation et conseil RH. Depuis notre origine, nous nous...

Synergie, mettons nos énergies en commun. Fort d'une présence dans 17 pays, avec 800 agences d'emploi et de 5 600 collaborateurs, le Groupe Synergie, 1er groupe français de services en Ressources Humaines, vous accompagne dans votre carrière professionnelle : recrutement CDD-CDI, intérim, formation et conseil RH. Depuis notre origine, nous nous...

A propos de l'entreprise : Synergie, mettons nos énergies en commun. Fort d'une présence dans 17 pays, avec 800 agences d'emploi et de 5 600 collaborateurs, le Groupe Synergie, 1er groupe français de services en Ressources Humaines, vous accompagne dans votre carrière professionnelle : recrutement CDD-CDI, intérim, formation et conseil RH. Depuis...

VOUS AVEZ DE L’AVENIR DANS LE NUCLÉAIRE, REJOIGNEZ LE GROUPE VINCI ENERGIES ! Dans un monde en évolution permanente, VINCI Energies accélère la transition environnementale en concrétisant deux mutations majeures, numérique et énergétique. Ses équipes déploient des technologies et des solutions multi techniques sur mesure, de la conception à...

**L’ASSOCIATION ARC EN CIEL** L’association Arc en Ciel, créée en 1999, a pour objet d’améliorer la prise en charge et l’accompagnement des patients en situation complexe, atteints de pathologies chroniques, poly-pathologiques ou gériatriques, en soins continus et/ou palliatifs en Seine Saint Denis. Le Dispositif d’Appui à la Coordination...

**L’ASSOCIATION ARC EN CIEL** L’association Arc en Ciel, créée en 1999, a pour objet d’améliorer la prise en charge et l’accompagnement des patients en situation complexe, atteints de pathologies chroniques, poly-pathologiques ou gériatriques, en soins continus et/ou palliatifs en Seine Saint Denis. Le Dispositif d’Appui à la Coordination...

**L’ASSOCIATION ARC EN CIEL** L’association Arc en Ciel, créée en 1999, a pour objet d’améliorer la prise en charge et l’accompagnement des patients en situation complexe, atteints de pathologies chroniques, poly-pathologiques ou gériatriques, en soins continus et/ou palliatifs en Seine Saint Denis. Le Dispositif d’Appui à la Coordination...

Membre de l’équipe régionale en relation avec l’ensemble de l’entreprise, le magasinier est un véritable électricien sédentaire. Les principales missions seront les suivantes :  En collaboration avec les équipes chantiers, préparation du matériel pour les chantiers : outillages + consommables (préparation des repères fils/repère...

**Description du poste**: - Votre agence Start People de LE PUY EN VELAY, recherche un - **agent de production (H/F)** pour l’un de ses clients dans le domaine industriel. **Service emballage** - Alimenter le poste de travail - Démarrer la machine et effectuer les réglages nécessaires - Effectuer des opérations de montage et assemblage de pièces -...

ACTEMIUM est le réseau mondial du Groupe VINCI dédié à la performance industrielle. ACTEMIUM est une marque de réseau de 400 entreprises réparties dans 41 pays. ACTEMIUM PAYS DE GEX est spécialisée dans la maintenance, les transferts industriels, les travaux électriques et la sécurisation de sites industriels. Afin d’accompagner la croissance...