There are two positions available this year, but the deadline is now over.

Science du logiciel (fermé) / Software science (closed)

Fiche complète

Profil Science du logiciel

Mots clefs Génie logiciel et programmation / Méthodes formelles / Sureté et sécurité / Informatique théorique et fondamentale

Objectifs pédagogiques et besoin d'encadrement L'UFR d'informatique a, entre autres, des besoins d'enseignement en génie logiciel, sécurité, gestion de projets, systèmes embarqués. Une implication de la personne recrutée dans un ou plusieurs de ces domaines et plus généralement dans les diverses tâches liées à l’enseignement sera particulièrement appréciée.

Filières de formation concernées Les enseignants de l'UFR d'informatique interviennent majoritairement dans les formations propres de l'UFR (licence et master), ainsi que dans des formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique informatique, …)

Activités de Recherche L'IRIF contribue à l'amélioration de la qualité du logiciel en aidant à la construction d'une science du logiciel, un ensemble de connaissances et d'outils formels et pratiques dont le logiciel est l’objet. La personne recrutée participera à cet effort. Plus précisément, elle pourra apporter son expertise dans la conception de langages de programmation qui garantissent par construction ou par typage que les programmes vérifient certaines propriétés, telles que : sûreté d'exécution, confidentialité, complexité, respect de protocoles, usage de ressources, correction fonctionnelle. Elle pourra aussi contribuer à la construction ou à la certification des logiciels : outils de développement (systèmes d'archivage de code source, compilateurs, machines virtuelles, assistants de preuve, etc.), analyse (calculs de dépendances, inférences de différences sémantiques, etc.) et vérification (analyseurs statiques, interprétations abstraites, etc.).

Date limite de candidature : 7 mars 2018 (calendrier au fil de l'eau)

Contacts
Intégration : tout responsable d'équipe thématique ou de pôle, cf présentation de l'IRIF
Laboratoire IRIF : Frédéric Magniez et Giuseppe Castagna, direction@irif.fr
UFR Informatique : Hugues Fauconnier et Carole Delporte, direction-ufr@informatique.univ-paris-diderot.fr

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.

Science des données (fermé) / Data science (closed)

Fiche complète

Profil Science des données

Mots clefs Informatique théorique et fondamentale / Fouille de données / Intelligence artificielle

Objectifs pédagogiques et besoin d'encadrement Ce poste correspondant à l’augmentation des capacités d’accueil en licence d’informatique, une implication de la personne recrutée dans l’enseignement en Licence sera particulièrement appréciée.

Filières de formation concernées Les enseignants de l'UFR d'informatique interviennent majoritairement dans les formations propres de l'UFR (licence et master), ainsi que dans des formations liées (école d’ingénieurs EIDD, cursus mathématique, bio-informatique, linguistique informatique, …).

Activités de Recherche Le poste de maitre de conférences est ouvert pour le recrutement d'un.e expert.e dans une thématique relevant de l'informatique fondamentale, en vue d'intégrer l'IRIF. L'UFR d’informatique privilégiera, sans exclure les autres dossiers, les candidatures relevant des recherches en science des données et de ses applications. Cela inclut en particulier les méthodes d’analyse de données et d’extraction de connaissances (apprentissage profond, web sémantique, etc.); l’étude de langages et d’outils formels pour exprimer des requêtes et des contraintes sur les données; la conception et la vérification d’algorithmes de transformation sur les données. La qualité scientifique et les capacités des candidat.e.s à s’intégrer dans l'IRIF seront des critères importants de sélection.

Date limite de candidature : 7 mars 2018 (calendrier au fil de l'eau)

Contacts
Intégration : tout responsable d'équipe thématique ou de pôle, cf présentation de l'IRIF
Laboratoire IRIF : Frédéric Magniez et Giuseppe Castagna, direction@irif.fr
UFR Informatique : Hugues Fauconnier et Carole Delporte, direction-ufr@informatique.univ-paris-diderot.fr

Les lettres de recommandation sont à envoyer à drhconcours@univ-paris-diderot.fr en indiquant le numéro du poste et le nom du candidat avant la date de clôture du dépôt du dossier.