Emploi Methodes Formelles - Les Ulis

Description du poste Vos journées en quelques mots ? ? Vous aurez principalement la charge de : Formaliser les propriétés de sécurité que les données doivent vérifier Tester les propriétés formalisées, par exemple au travers de l'injection d'erreurs Vérifier le travail de vos pairs dans le cadre de ...

Rejoignez Siemens Mobility pour innover dans le domaine des transports intelligents ! D'ici 2050, 70% de la population mondiale habitera en ville. Comment garantir l'efficacité et la sécurité du trafic ferroviaire ? Chez Siemens Mobility, nous développons des systèmes de transport dernier cri, tels ...

Domaine : Systèmes d'information Contrat : CDI Description du poste : Au sein d'une équipe de chercheurs reconnus au niveau international dans le domaine des techniques de « containerisation » et « virtualisation », vous contribuez aux missions suivantes :- Mener, en partenariat avec les membres de ...

Domaine : Autre Contrat : CDD Description du poste : « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ?Le CEA recherche un.e In...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLa plupart des méthodes de vérification formelle de la robustesse d'un réseau de neurones proposent une vérification de propriété de robustesse assez simple : pour un voisinage d'une certaine t...

Rejoignez-nous en tant qu'Ingénieur assurance sécurité & méthodes formelles. La Business Unit RATP Infrastructures assure les missions de gestionnaire d'infrastructures. Elle est responsable de l'aménagement, de l'entretien et du renouvellement de l'infrastructure, et garantit dans la durée le maint...

Missions et enjeux du poste : - Réaliser des Essais sur les installations de sécurité des postes de signalisation pour le compte de la Direction Industrielle et Ingénierie au sein de SNCF Réseau. - Être en charge dans le cadre du développement des nouveaux systèmes de signalisation de l'élaboration ...

Stage - Machine Learning et la traduction formelle h/f En 2050, 70% de la population habitera en ville. L'efficacité et la sécurité du trafic ferroviaire sont des enjeux majeurs. Ensemble, concevons dès à présent les transports intelligents au service des générations futures. #SIEMENSMOBILITY Votre ...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : CEA Tech Corporate from CEA Tech on Vimeo.Le laboratoire participe au développement de la plateforme MAAT IAT pour la spécification et l’analyse formelle de système distribués de tout type. MAAT IAT met ...

Domaine : Moyens généraux et installations Contrat : CDI Description du poste : Le poste proposé concerne la fonction d'assistante du SGLS et des trois laboratoires du service. L'effectif du SGLS est constitué de 35 permanents, d'une dizaine de non permanents (CDD, prestataires) ainsi qu'une dizaine...

Regulatory Technologies Manager – 6-Month ContractPosition: Regulatory Technologies ManagerContract Type: 6-Month Fixed TermIndustry: Regulatory Affairs / Life SciencesOverviewWe are looking for an experienced Regulatory Technologies Manager to lead a dedicated team in managing regulatory technology...

Vous souhaitez gagner en liberté, vous rémunérer à votre juste valeur en faisait un métier passionnant, et tout ça depuis chez vous ? Devenez Consultant Immobilier megAgence Indépendant, mais jamais seul, l'humain est au cœur de notre activité et de nos valeurs. Chez megAgence, vous êtes rémunéré su...

Nous recrutons et formons des agents indépendants en immobilier. POURQUOI PAS VOUS ? Pourquoi rejoindre SAFTI ? Le secteur de l’immobilier est en pleine croissance. SAFTI offre la possibilité à celles et ceux qui le souhaitent de travailler comme agent immobilier indépendant. En vous appuyant sur le...

Vous souhaitez gagner en liberté, vous rémunérer à votre juste valeur en faisait un métier passionnant, et tout ça depuis chez vous ? Devenez Mandataire Immobilier megAgence Indépendant, mais jamais seul, l'humain est au cœur de notre activité et de nos valeurs. Chez megAgence, vous êtes rémunéré su...

Vous souhaitez gagner en liberté, vous rémunérer à votre juste valeur en faisait un métier passionnant, et tout ça depuis chez vous ? Devenez Agent Commercial Immobilier megAgence Indépendant, mais jamais seul, l'humain est au cœur de notre activité et de nos valeurs. Chez megAgence, vous êtes rémun...

Lancez-vous dans l'immobilier avec SAFTI Pourquoi rejoindre SAFTI? Débutant ou expérimenté , vous êtes formé et accompagné Vous travaillez de chez vous sans contrainte de temps Vous bénéficiez d'une rémunération attractive, de 70 à 99% des honoraires d'agence Plus de 150 professionnels vous suivent ...

Chez Amazon, nous avons besoin de personnes talentueuses et expérimentées pour nous aider à travailler de manière sûre et efficace. En tant que responsable HSE, il vous appartiendra d’améliorer l’entreprise à l’échelle de votre site et région géographique. Vous aiderez vos collègues à maintenir des ...

Chez Amazon, nous avons besoin de personnes talentueuses et expérimentées pour nous aider à travailler de manière sûre et efficace. En tant que responsable HSE, il vous appartiendra d’améliorer l’entreprise à l’échelle de votre site et région géographique. Vous aiderez vos collègues à maintenir des ...

Vous souhaitez gagner en liberté, vous rémunérer à votre juste valeur en faisait un métier passionnant, et tout ça depuis chez vous ? Devenez Négociateur Immobilier megAgence Indépendant, mais jamais seul, l'humain est au cœur de notre activité et de nos valeurs. Chez megAgence, vous êtes rémunéré s...

Nous recrutons et formons des agents indépendants en immobilier. POURQUOI PAS VOUS ? Pourquoi rejoindre SAFTI? Devenir Agent Indépendant en Immobilier SAFTI, c'est être l'interlocuteur entre les vendeurs et les acquéreurs de biens immobiliers. Vous accompagnez vos clients jusqu'à la signature de l'a...