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.

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.

Fiche complète

Profil Graphes et applications

Mots clefs Informatique théorique ou fondamentale / Théorie et algorithmique des graphes / Science des données / Réseaux informatiques, sociaux, biologiques

Objectifs pédagogiques et besoin d'encadrement Le ou la professeur·e recruté·e doit pouvoir intervenir dans tous les cursus assurés par l’UFR d’informatqiue et en particulier dans le Master IAP dans des domaines associés au profil de recherche comme, par exemple, les données massives, les grands réseaux, les moteurs de recherche…

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 Ce poste de professeur.e 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 théorie des graphes (théorie structurelle ou algorithmes) ou de ses applications. Parmi les applications des graphes, l'IRIF est notamment intéressé par celles en relation avec les sciences des données, les réseaux informatiques, les réseaux sociaux, les bases de données, les systèmes d’information et les systèmes dynamiques. Les interactions avec d'autres disciplines, dont la biologie et la sociologie, seront également appréciées. La qualité scientifique, puis la largeur du spectre de compétences et les capacités des candidat.e.s à interagir avec les autres thématiques de 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.