Emplois actuels liés à Enseignante-Chercheuse ou Enseignant-Chercheur en Méthodes Formelles dans le Domaine du Matériel et des Logiciels - Palaiseau - Direction générale de l'Institut Mines-Télécom
-
Palaiseau, France Direction générale de l'Institut Mines-Télécom Temps pleinNous recherchons une enseignante-chercheuse ou un enseignant-chercheur en Traitement Vidéo et Animation avec l'Apprentissage Profond. Vous rejoindrez l'équipe Multimédia (MM) au sein du département Image, Données, Signal (IDS). Vous participerez également activement aux activité du Centre Hi!Paris. Contexte scientifique : L'essor de l'intelligence...
-
Palaiseau, France Direction générale de l'Institut Mines-Télécom Temps pleinTé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 Codage pour Images et Vidéo. Vous rejoindrez l'équipe Multimédia (MM) au sein du département Image, Données, Signal (IDS). Contexte...
-
Enseignant-chercheur
il y a 5 jours
Palaiseau, Île-de-France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps pleinENSTA, établissement d'enseignement supérieur et de recherche sous tutelle du ministère des Armées, développe des activités de formation, recherche et innovation dans les domaines de la défense et de la sécurité, des transports, de l'énergie, des activités maritimes, du numérique et de la santé.L'école, présente sur deux campus, à...
-
Enseignant-chercheur
il y a 3 jours
Palaiseau, Île-de-France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps pleinENSTA, établissement d'enseignement supérieur et de recherche sous tutelle du ministère des Armées, développe des activités de formation, recherche et innovation dans les domaines de la défense et de la sécurité, des transports, de l'énergie, des activités maritimes, du numérique et de la santé.L'école, présente sur deux campus, à...
-
Palaiseau (Nano-Innov) - 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Enseignant-chercheur
il y a 3 jours
boulevard des Maréchaux Palaiseau, Île-de-France, France Ecole Nationale Superieure De Techniques Avancees Temps pleinDescription de l'offre d'emploi ENSTA, établissement d'enseignement supérieur et de recherche sous tutelle du ministère des Armées, développe des activités de formation, recherche et innovation dans les domaines de la défense et de la sécurité, des transports, de l'énergie, des activités maritimes, du numérique et de la santé.L'école,...
-
Palaiseau (Nano-Innov) - France, Ile-de-France, Essonne () 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Ingénieur-Chercheur en méthodes formelles et analyse de code source H/F
il y a 2 semaines
Palaiseau (Nano-Innov) - France, Ile-de-France, Essonne () 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 énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Gestionnaire paie et carrière des Enseignants-Chercheurs
il y a 2 semaines
Palaiseau, France ECOLE POLYTECHNIQUE Temps pleinLa Direction des ressources humaines (DRH), accompagne l’École dans ses projets de développement, et a pour mission de mettre en œuvre les politiques RH qui répondent aux enjeux stratégiques de l’École. Forte d’une équipe d’une trentaine d’agents, elle s’organise autour de trois unités de travail : administration, paie et gestion des...
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPrésentation de Télécom SudParis :Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets d'équipes, l'innovation de rupture et...
Enseignante-Chercheuse ou Enseignant-Chercheur en Méthodes Formelles dans le Domaine du Matériel et des Logiciels
il y a 2 semaines
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 INFRES. Contexte scientifique : Les activités de l'équipe ACES sont liées à la confiance numérique, c'est-à-dire à la cybersécurité, aux systèmes embarqués critiques en temps réel, à l'ingénierie logicielle et système, aux systèmes distribués, ainsi qu'aux systèmes autonomes. Ce nouveau poste vise à renforcer l'expertise de l'équipe dans les systèmes matériels/logiciels, où l'interaction entre les éléments matériels et le code logiciel est essentielle pour garantir le bon fonctionnement d'un système plus vaste. Nous illustrons l'intérêt de l'équipe ACES pour ce sujet à travers trois applications qui ne sont pas exhaustives. Ces systèmes jouent un rôle dans les travaux récents de l'équipe sur la cybersécurité, où les membres de l'ACES ont étudié les canaux auxiliaires et les fuites d'informations au niveau du matériel, du système d'exploitation et du compilateur. D'autres membres de l'équipe ont étudié ces systèmes matériels/logiciels afin d'améliorer la prévisibilité et l'analysabilité des systèmes critiques en temps réel, que l'on trouve dans l'avionique, les trains, les voitures et de nombreuses autres applications. D'autres membres de l'équipe ont étudié l'interaction entre le matériel et les logiciels dans les systèmes à consommation d'énergie limitée, tels que les tablettes utilisées dans les missions de sauvetage ou les infrastructures IoT, où la consommation d'énergie doit être réduite au minimum. De manière plus générale, comme l'illustrent les activités passées de l'équipe, les systèmes étudiés, outre leurs propriétés fonctionnelles qui garantissent que le système effectue les bons calculs, doivent souvent également tenir compte de propriétés non fonctionnelles. Le poste vacant vise ce domaine problématique, en mettant particulièrement l'accent sur les méthodes formelles (au sens large) afin d'accroître la confiance dans le fait que le système résultant satisfait aux propriétés (non) fonctionnelles souhaitées. Vos missions principales seront de : - Participer à la conception et la mise en oeuvre d'enseignements dans votre domaine scientifique - Conduire des recherches dans votre domaine scientifique - Participer au développement de partenariats, de collaborations et de relations contractuelles
