Emploi méthodes formelles

À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails et tramways jusqu’aux systèmes intégrés, services sur mesure, infrastructures, signalisation et solutions de mobilité...

Overview: Télécom Paris, centre international pluridisciplinaire de formation, recherche et innovation, est une référence dans le monde du numérique. Nous recherchons une enseignante-chercheuse ou un enseignant-chercheur en méthodes formelles dans le domaine du matériel et des logiciels. Vous rejoindrez l’équipe ACES (Autonomous, Critical, Embedded Systems) au sein du département...

Lieu : Palaiseau, France Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4...

Lieu : Cannes, France Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards...

Informations générales Intitulé de l'offre : H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF Référence : UMR8243-SANMAR-007 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication : samedi 17 janvier 2026 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 1 mars 2026 Quotité de travail : Complet Rémunération : Entre...

Description du poste Type de métier Types de métiers Crédit Agricole S.A. - Autres Intitulé du poste Expert conseil et supervision de projets stratégiques H/F Type de contrat CDI Poste avec management Non Cadre / Non Cadre Cadre Missions NOUS CONNAITRE ! La Direction IT and Opération Services (IOS) a pour objectif de doter CACIB de la meilleure Plateforme IT et Opérations pour...

Job Description: Airbus Commercial Aircraft recherche un.e Software Specialist – Methods and Tools (f/h) pour rejoindre notre département Avionics Software basé à Toulouse, France. Vous ferez partie d'une équipe qui développe et maintient le système de production logicielle avionique pour les produits et composants embarqués et sol, dans un environnement soumis à des contraintes industrielles...

Job Description: Airbus Defence & Space Cyber recherche un Architecte Cybersécurité (f/h) pour rejoindre notre département d’architecture de cybersécurité basé à Elancourt , France . Vous ferez partie d'une équipe qui développe la sécurité des programmes d’armements. Au sein du département d’architecture de cybersécurité , vous serez impliqué(e) dans la coordination des activités cyber visant à...

Description du poste Fort de son implantation internationale, 1500 collaborateurs dans le monde, plus de 120 millions d’euros de CA, le Groupe APEM est un des leaders dans la conception, la fabrication et la commercialisation d’interfaces homme-machine. Le Groupe s’appuie sur une organisation intégrée et dynamique pour accompagner ses clients dans la recherche de nouvelles solutions et nouveaux...

Notre entreprise Axians Communication & Cloud Aix-en-Provence est spécialisée dans l’intégration d’infrastructure cloud mixte. Dans le cadre du développement de notre activité, nous recherchons en CDI, un.e : Responsable d’Affaires (F/H) VOS MISSIONS Marketing et Commercial o Suit, gère et développe la clientèle ainsi que les secteurs d’activités qui lui sont affectés ; o Se spécialise sur un...

Job Description:Airbus Defence & Space Cyber recherche un Architecte Cybersécurité (f/h) pour rejoindre notre département d’architecture de cybersécurité basé à Elancourt , France .Vous ferez partie d'une équipe qui développe la sécurité des programmes d’armements. Au sein du département d’architecture de cybersécurité , vous serez impliqué(e) dans la coordination des activités cyber visant à...

Lieu : Cannes, France Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards...

The Company Imerys is the world’s leading supplier of mineral-based specialty solutions for the industry with €3.6 billion in revenue and 12,400 employees in 40 countries in 2024. The Group offers high value-added and functional solutions to a wide range of industries and fast-growing markets such as solutions for the energy transition and sustainable construction, as well as natural solutions...

Chez Younited, nous pensons que l’argent est un moyen de réaliser ses rêves à travers des projets et des achats. Mais les produits bancaires actuellement proposés sont trop souvent opaques et compliqués. Notre constante innovation et nos technologies de pointe nous permettent de redéfinir les pratiques de crédit et de paiement, afin d’offrir une expérience utilisateur.rice exceptionnelle pour...

Description de l'entreprise: Au sein du groupe Smiths, nous utilisons les technologies de pointe pour concevoir, fabriquer et fournir des solutions innovantes leader sur le marché qui répondent aux besoins de nos clients et touchent la vie de millions de personnes chaque jour. Nous sommes un FTSE100, une entreprise mondiale d'environ 14,600 salariés, basée dans 50 pays. Nos solutions ont un...

Description de l'entreprise: Sia est un groupe international de conseil en management de nouvelle génération. Fondé en 1999, nous sommes nés à l’ère du numérique. Aujourd’hui, nos services en stratégie et management sont augmentés par la data science, enrichis par la créativité et guidés par la responsabilité. Nous sommes "optimists for change" et aidons nos clients à initier, naviguer et tirer...

Valeo is a tech global company, designing breakthrough solutions to reinvent the mobility. We are an automotive supplier partner to automakers and new mobility actors worldwide. Our vision? Invent a greener and more secured mobility, thanks to solutions focusing on intuitive driving and reducing CO2 emissions. We are leader on our businesses, and recognized as one of the largest global innovative...

Lieu : Cannes, France Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards...

Job Description: Airbus Defence & Space Cyber recherche un Architecte Cybersécurité (f/h) pour rejoindre notre département d’architecture de cybersécuritébasé à Elancourt, France. Vous ferez partie d'une équipe qui développe la sécurité des programmes d’armements. Au sein du département d’architecture de cybersécurité, vous serez impliqué(e) dans la coordination des activités cyber visant à...

Job Description: Qui sommes-nous ? Airbus Defence and Space « Cyber Programmes » est un spécialiste européen de la cybersécurité pour les systèmes de défense et aérospatiaux. Notre mission est de concevoir, développer, intégrer et déployer des solutions de cybersécurité fiables et sur mesure pour nos clients de la défense, gouvernementaux et institutionnels. Notre organisation est intégrée à...