Menu




2019-157121 – Enseignant’e) chercheur(e) en « Génie Logiciel et Méthodes Formelles pour la sûreté de fonctionnement et

Emploi culturel : description de l’entreprise et de ses activités

Domaine fonctionnel : Enseignement supérieur - Recherche
Nature du poste recherché : Ouvert aux contractuels
Description du poste :
Les travaux de recherche de l'enseignant(e)-chercheur(e) se dérouleront dans le cadre du laboratoire Lab-STICC, UMR CNRS 6285, au sein de l'équipe MOCS (Méthodes, Outils, Circuits, Systèmes) à l'ENSTA Bretagne. L'activité de l'équipe MOCS, du Lab-STICC UMR CNRS 6285, se concentre sur le génie logiciel pour les systèmes embarqués et couvre des domaines allant du capteur à la connaissance, en intégrant la communication et la décision.Cette activité MOCS est portée à l'ENSTA Bretagne par deux groupes thématiques : SL (systèmes logiciels) et C&S (circuits et systèmes) couvrant les aspects de modélisation amont et aval des systèmes (comportementaux et architecturaux) jusqu'à la génération de code et leur vérification.Missions du candidat : En matière de recherche et développement :Le (la) candidat(e) devra s'insérer pleinement dans le thème de recherche central de l'équipe MOCS qui est la modélisation des systèmes embarqués. • Ses travaux s'inscriront dans la modélisation et vérification : Approche multi-niveaux ou multi-formalismes, formalisation d'exigences, model-checking. • Le (la) candidat(e) retenu(e) sera impliqué(e) et développera des projets de recherche collaboratifs nationaux et internationaux. Le(a) candidat(e) devra donc être apte à contribuer à la recherche de contrats en s'appuyant sur d'indispensables relations académiques et industrielles. • Il (elle) devra pleinement contribuer à la politique de publication du Lab-STICC et participer à l'encadrement des doctorants. Mots-clés : model-checking, multi-formalisme, modélisation et vérification formelleEn matière d'enseignement : Le (la) candidat(e) retenu(e) participera aux enseignements des formations de l'ENSTA Bretagne (cycle ingénieur, ingénieur par alternance, formation continue, master recherche) constituant un service de 192h (équivalent TD). Ses missions consisteront à : • Organiser et dispenser les enseignements des cycles d'ingénieurs dont celui par alternance; • Participer aux enseignements en sécurité des architectes logicielles; • Participer aux enseignements en informatique (programmation objet, vérification formelle, test formel, Technologies WEB); • Proposer et encadrer des projets pour les élèves éventuellement en partenariat avec des industriels. Il devra pouvoir enseigner en anglais.

Profil et Compétences : • Qualification aux fonctions de maitres de conférences ou Qualification aux fonctions de Professeurs des Universités • Des compétences dans les domaines scientifiques suivants seront appréciées : o Modélisation et vérification formelle : sémantique, model checking o Fédération de modèles hétérogènes • Compétences d'encadrement de doctorats et de montage/gestion de projets collaboratifs nationaux et internationaux. • Grande capacité pour travailler en équipe et goût des relations indispensable. • Maîtrise de l'anglais oral et écrit. Une expérience internationale sera un plus. • Expériences demandées : o Rédaction de publications scientifiques, o Participation à des comités de lecture et d'organisation de conférences ou journal, o Encadrement de doctorat, o Expérience de l'enseignement dans le supérieur (école d'ingénieur et/ou université)
Niveau d'études min. requis : Niveaux II et I : diplômes de second ou troisième cycle universitaire (licence, maîtrise, master, DE
Langue / Niveau :
Anglais : C2 Niveau Maîtrise
Postuler

Postuler


Imprimer


Suivez JobCulture sur les réseaux sociaux
Retrouvez les offres d'emplois dans la culture !

Partagez un article

JobCulture.fr propose de nombreuses offres d'emplois et de stages dans la culture : 2019-157121 - Enseignant'e) chercheur(e) en « Génie Logiciel et Méthodes Formelles pour la sûreté de fonctionnement et voici le lien : http://www.jobculture.fr/emploi-culture/2019-157121-enseignante-chercheure-en-gnie-logiciel-et-mthodes-formelles-pour-la-sret-de-fonctionnement-et/ -