Ingénieur-e de recherche en Reactive Synthesis
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
Ingénieur-e de recherche en Reactive Synthesis - CDD - 12 mois (H (H/F)
Ingénieur-e de recherche en Reactive Synthesis - CDD - 12 mois (H (H/F) 91 - Palaiseau
Offre n° 213NRKR
Ingénieur-e de recherche en Reactive Synthesis - CDD - 12 mois (H (H/F)
Contexte et MissionsMener des recherches sur la synthèse réactive et les applications de la théorie des automates.Ce projet porte principalement sur les avancées pratiques et théoriques de la synthèse réactive et des thèmes connexes. L'un des axes centraux sera la synthèse de contrôleurs « corrects par construction » à partir de formules LTL.- Assurer des missions de recherche dans le domaine de la synthèse réactif- Participer à la notoriété de l'Ecole et de l'Institut Mines-TélécomActivités1/ Assurer des missions de recherche dans le domaine en synthèse réactif et des sujets voisinés- Participer à la réalisation des contrats de recherche- Concevoir et développer des algorithmes liés à la synthèse réactive comme les algorithmes de traduction des formules, l'optimisation des contrôleurs et autres- Participer aussi à l'utilisation de ces techniques dans des disciplines voisines comme l'apprentissage guidé. Cas de contraindre l'apprentissage par renforcement par des superviseurs formels- Communiquer avec les partenaires de la chaire ASC (https://www.ip-paris.fr/en/research/chairs/asc pour trouver des points d'intérêt commun2/ Participer à la notoriété de l'Ecole et de l'Institut Mines-Télécom- Etre associé-e aux publications relatives aux projets de recherche en méthodes formelles- Entretenir des relations étroites avec les institutions académiques, les centres de recherche et les entreprises- Présenter des travaux pendant des workshops et conférences approprié (par. Ex. En IdF MeFoSyloma) et pendant les journées de la chair
Type de contrat CDD - 12 Mois
Contrat travail Durée du travail 40H/semaineTravail en journée
Salaire
- Salaire brut : Annuel de 34000.0 Euros à 40000.0 Euros - salaire selon profil et expérience (charges du secteur public)
- Restauration
- Ordinateur portable
- Indemnité transports
- Complémentaire santé
- Primes
- salaire selon profil et expérience (charges du secteur public)
Expérience
- Débutant accepté
- Bac+5 et plus ou équivalents Cette formation est indispensable
Compétence
- Cadre réglementaire environnemental
Savoir-être professionnels
- Faire preuve de curiosité, d'ouverture d'esprit
- Faire preuve de rigueur et de précision
- Faire preuve de persévérance
Informations complémentaires
- Secteur d'activité : Enseignement supérieur
Employeur
Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. Télécom SudParis fait partie d'Institut Mines-Télécom.Vidéo de présentation: https://vimeo.com/778810388/4e591e24fc
-
Ingénieur-e de recherche en Reactive Synthesis
Il y a 7 jours
Palaiseau, Ile-de-France SCES COMMUNS IMT BUSINESS SCHOOL TELECOM Temps pleinContexte et Missions Mener des recherches sur la synthèse réactive et les applications de la théorie des automates. Ce projet porte principalement sur les avancées pratiques et théoriques de la synthèse réactive et des thèmes connexes. L'un des axes centraux sera la synthèse de contrôleurs « corrects par construction » à partir de formules...
-
Ingénieur-e Recherche en Synthèse Réactive — CDD 12 mois
Il y a 4 jours
Palaiseau, Île-de-France SCES COMMUNS IMT BUSINESS SCHOOL TELECOM Temps plein 34 000 € - 40 000 € ContratTélécom SudParis, grande école publique d'ingénieurs, recherche un(e) ingénieur(e) de recherche en synthèse réactive pour un CDD de 12 mois. Le poste porte sur les avancées pratiques et théoriques de la synthèse réactive et l'utilisation des automates dans des contextes académiques et industriels.La mission implique de concevoir des algorithmes,...
-
Technicien de maintenance industrielle
Il y a 3 heures
Palaiseau, Île-de-France Fed ENGINEERING Temps pleinEntreprise :Le cabinet de recrutement d'ingénieurs Fed Engineering (que vous connaissiez peut-être en tant que « Fed Ingénierie ») est, depuis 2014, le recruteur spécialisé de référence pour tous les postes d'ingénieur et de technicien, en CDI, CDD et intérim. Et ce, partout en France.Description du poste :Je suis Jeremy, consultant en recrutement...
-
Palaiseau, Île-de-France CEA Temps plein 70 000 € - 90 000 € ContratChef du bureau des accords de propriété intellectuelle H/F En tant que Manager du BAPI/LIST, vous pilotez une équipe d’experts et garantissez la sécurisation ainsi que la valorisation du patrimoine intellectuel de l’institut. Responsabilités Encadrez et animez une équipe composée de juristes en propriété intellectuelle, en charge de la...
-
Responsable du pôle médias F/H
Il y a 2 semaines
Palaiseau, Île-de-France La Gazette des Communes Temps pleinL’École polytechnique (surnommée 'X), est un établissement d’enseignement supérieur et de recherche de niveau mondial, fondée en 1794 au cours de la révolution française. Il s'agit d'une École militaire, elle est placée sous la tutelle du ministère des Armées. L’École polytechnique est membre fondateur de l’Institut Polytechnique de Paris...
-
Chef des Relations Médias et Rayonnement International
Il y a 2 semaines
Palaiseau, Île-de-France La Gazette des Communes Temps pleinL’École polytechnique (surnommée 'X), est un établissement d’enseignement supérieur et de recherche de niveau mondial, fondée en 1794 au cours de la révolution française. Il s'agit d'une École militaire, elle est placée sous la tutelle du ministère des Armées. L’École polytechnique est membre fondateur de l’Institut Polytechnique de Paris...
-
Responsable d'atelier plomberie CVC H/F
Il y a 3 semaines
Palaiseau, Île-de-France Ministère des Armées Temps pleinVos missions en quelques mots Vous travaillerez en coordination étroite avec l’ingénieur efficacité énergétique, auquel vous apporterez votre expertise terrain, les données d’exploitation et les retours techniques nécessaires à la mise en œuvre des orientations énergétiques définies.A ce titre, vous assurerez les missions principales...
-
Ingénieur de Recherche SDN
Il y a 7 heures
Palaiseau, France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...
-
Ingénieur de Recherche SDN
Il y a 7 heures
Palaiseau, France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...
-
Ingénieur de Recherche en Cybersécurité
Il y a 7 heures
Palaiseau, France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...
-
Ingénieur de Recherche en Cybersécurité Réseau
Il y a 7 heures
Palaiseau, France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...
