Fiche   recrutement

Equipes : AELOS - Architectures Et LOgiciels Sûrs

Etablissement : Université de Nantes

Description du poste :
Les dossiers de candidatures doivent être déposés sur l’application Galaxie avant le 30/03/2021 à 16h00 (heure de Paris) pour plus de renseignements, merci de transmettre un message à drh.concours@univ-nantes.fr

Profil

Prise de fonction : 01/09/2021

Activités de recherche :

L'équipe « Architectures et logiciels sûrs » (AeLoS) affronte les défis de la modélisation formelle, de la vérification et du développement de systèmes complexes (industriels, naturels, biologiques) avec des approches hétérogènes impliquant des concepts, des modèles et des théories variés. La personne recrutée doit avoir une formation solide en méthodes formelles pour la modélisation et la vérification des systèmes complexes, logiciels ou non. Elle doit avoir des appétences pour la maîtrise rigoureuse des systèmes complexes et à la vérification à l'aide de modèles hybrides (logiques, à états, qualitatifs, quantitatifs, contraintes, etc ... ). La personne recrutée devra avec ses compétences, contribuer à affronter les défis et atteindre nos objectifs liés à la maîtrise des aspects théoriques de la modélisation et de l'analyse formelle des systèmes complexes (aussi bien logiciels, matériels ou naturels) qui nous entourent. Nous recherchons des candidat-e-s disposant de solides compétences dans les méthodes formelles en général, dans l'hybridation de modèles, et ayant un fort intérêt pour les domaines applicatifs variés (logiciels/matériels, systèmes biologiques, Océan), aptes à effectuer des recherches poussées sur les fondements théoriques nécessaires à la proposition ou à l'adaptation des techniques de modélisation de systèmes complexes, et aptes à faire des propositions de méthodes mathématiquement fondées et outillées pour l'ingénierie dans les domaines applicatifs ciblés

Activités d’enseignement :

La personne recrutée rejoindra le Département d'Informatique de l'UFR Sciences et Techniques. Il ou elle participera à l'ensemble des enseignements de ce département. Il est attendu que le nouveau recruté s'implique fortement dans des enseignements (CM, TD, TP) de Licence (lnfo, Maths-lnfo et MIAGE) et Master (lnfo et MIAGE) avec la prise assez rapide de responsabilité d'une ou plusieurs unités d'enseignement. Un investissement particulier dans les enseignements de langage et automates, base de données, réseaux, architecture des ordinateurs, génie logiciel eUou applications web serait souhaitable. Il ou elle doit assurer des missions d'encadrement pédagogique de stage en Licence et Master. Une participation active aux responsabilités administratives du Département doit être naturelle. Il est attendu de la personne recrutée une prise de responsabilité d'une année de licence à moyen terme. Une bonne maîtrise des langues française et anglaise, notamment la capacité d'enseigner dans les deux langues, serait un plus

La Direction des ressources humaines peut être contactée pour toute question administrative.
Resp. recrutements enseignants THOMAS NELLY : Tél. : 02.40.99.83.62 E-mail : drh.concours@univ-nantes.fr

Candidature sur le site du ministère : https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/astree/index.jsp

Fiche de poste :