UNIVERSITE DE LORRAINE Référence GALAXIE : 682

Transcription

1 UNIVERSITE DE LORRAINE Référence GALAXIE : 682 Numéro dans le SI local : 27MCF1087 Référence GESUP : Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 27-Informatique Section 2 : Section 3 : Profil : Informatique Fondamentale & Programmation Job profile :. Research fields EURAXESS : Computer science Other Implantation du poste : S - UNIVERSITE DE LORRAINE Localisation : VILERS LES NANCY Code postal de la localisation : Etat du poste : Suceptible d'être vacant Adresse d'envoi du dossier : Contact administratif : N de téléphone : N de Fax : DRH 34 COURS LEOPOLD- CS Date de prise de fonction : 01/09/2015 Mots-clés : Profil enseignement : Composante ou UFR : TELECOM NANCY Référence UFR : Profil recherche : Laboratoire 1 : NANCY MADAME MARIE-LUCE BOULET POLE ENSEIGNANTS-CHERCHEURS drh-recrut-enseignant-contact@univ-lorraine.fr UMR7503 ( S) - LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS Laboratoire 2 : Laboratoire 3 : Laboratoire 4 : Laboratoire 5 : Dossier Papier NON Dossier numérique physique (CD, NON DVD, clé USB) Dossier transmis par courrier NON gestionnaire électronique Application spécifique OUI URL application Poste ouvert aux personnes'bénéficiaires de l'obligation d'emploi' mentionnée à l'article 27 de la loi n du 11 janvier 1984 modifiée portant dispositions statutaires relatives à la fonction publique de l'etat (situations de handicap). Le profil détaillé se trouve en page 2 et suivantes

2 Fiche de poste Enseignants chercheurs Corps : McF Article de référence : Numéro du poste : 1087 Section CNU : 27 Profil de publication : Informatique Fondamentale & Programmation Localisation : TELECOM Nancy Profil enseignement : Le/la Maître de Conférences recruté(e) réalisera son service dans les 3 années de la formation initiale de TELECOM Nancy. Il/Elle interviendra également dans la filière de formation d ingénieur TELECOM Nancy par apprentissage. Les besoins Dans le cadre de l évolution de la formation, l école renouvelle son pôle informatique fondamentale, tout particulièrement les enseignements en Mathématiques pour l Informatique (algèbre et fonctions booléennes, automates finis et langages réguliers, grammaires et langages algébriques, systèmes formels, sémantique, logique des propositions, logique du 1er ordre, analyse de langages, ). C est sur ces domaines que la personne recrutée développera en priorité son enseignement. La nouvelle recrue contribuera également : (1) au développement du cours de programmation fonctionnelle de l école, (2) aux cours de programmation (Java, Scala, C/C++, ), (3) aux encadrements de projets et de stages d élèves. Elle s impliquera également dans l animation de l école.

3 Composante/UFR : TELECOM NANCY Référence UFR : Mots-clés enseignement Informatique fondamentale, mathématiques pour l informatique, programmation fonctionnelle et impérative (Scala, Java, C/C++, ). Profil recherche : Le maitre de conférences recruté effectuera sa recherche dans le Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA). Il devra s intégrer a priori dans le département 2 (méthodes formelles). Ce département regroupe des équipes de recherche du LORIA qui animent des recherches en sûreté et en sécurité des systèmes informatiques. Les thèmes de recherche comprennent entre autres la modélisation l'analyse et la vérification, la logique, la sémantique, la calculabilité, l architecture logicielle, Le Loria vise en particulier à renforcer son axe sûreté-sécurité en lien avec ses plateformes. La sûreté et la sécurité sont deux applications prioritaires. Le Loria dispose de plateformes de recherche, visibles, dans ce domaine et il est important de les soutenir. Suivant le profil du candidat l intégration pourrait également se faire dans un autre département si le candidat est dans la thématique «sûreté et sécurité». Nom laboratoire 1 : LORIA Numéro unité du laboratoire 1 : UMR7503 Nom laboratoire 2 : Numéro unité du laboratoire 2 : Mots-clés recherche : logique, modèles de calcul, modèles de programmation, réécriture, modélisation, spécification, sûreté, validation, vérification, sécurité (management d internet, sécurité des réseaux industriels, systèmes d exploitation, virologie, cryptographie, protocole de sécurité), Autres activités : Mots-clés complémentaires : Fiche de poste Enseignants chercheurs : informations complémentaires Informations complémentaires Enseignement : Département d enseignement : TELECOM Nancy Lieu(x) d exercice : 193 avenue Paul Muller VILLERS LES NANCY

4 Equipe pédagogique : Nom Directeur de l Ecole : OLIVIER FESTOR Tél Directeur de l Ecole : Directeur de l Ecole : Olivier.Festor@telecomnancy.eu URL dépt : Recherche : Lieu(x) d exercice : LORIA Nom Directeur labo :Jean-Yves Marion Tél Directeur labo : Directeur labo :Jean-Yves.Marion@Loria.fr URL labo : Descriptif labo : Départements de l unité : D1 : Algorithmique, calcul, images et géométrie Responsable : S. Lazard D2 : Méthodes formelles Responsable : D. Mery D3 : Réseaux, systèmes et services Responsable : Y.Q. Song D4 : Traitement automatique des langues et des connaissances Responsable : B. Guillaume D5 : Systèmes complexes et intelligence artificielle Responsable : B. Girau Effectifs de l unité en postes budgétaires : # Enseignants-chercheurs : 110 UL # Chercheurs : 18 CNRS (dont1cdd), 44 Inria (dont 1 CDD), 2 UL en CDD # Administratifs, Techniques ITA/IATOS : 9 CNRS, 5 UL # Doctorants, post-doctorants : 129 # Ingénieurs scientifiques : 30 Equipements significatifs : - Laboratoire de Haute Sécurité (LHS) ( - Plateforme TALC - Plateforme MBI - Grid Appartement intelligent - Plateforme ROMEA Descriptif projet : Description activités complémentaires : Moyens matériels : Moyen s humains : Moyens financiers :

5 Autres moyens : Autres informations : Compétences particulières requises : Evolution du poste : Rémunération : Informations Complémentaires EURAXESS Job profile (résumé en quatre lignes maxi du profil en anglais) : Research fields Euraxess (cf tableau de codification Annexe 6) : Computer science