Postdoc – TELECOMMUNICATIONS DPT, INRIA CITI LAB, INSA LYON

Nous proposons un CDD post-doctoral d’un an (avec un service d’enseignement allégé) attaché au département télécommunications, services et usages de l’INSA de Lyon ainsi qu’au laboratoire CITI-Inria (http://www.citi-lab.fr/).

Les candidat(e)s intéressé(e)s peuvent prendre contact avec :

* Julien Ponge <julien.ponge@insa-lyon.fr>
* Jean-Marie Gorce <jean-marie.gorce@insa-lyon.fr>
* Frédéric Le Mouël <frederic.le-mouel@insa-lyon.fr>

Recherche

L’activité principale sera un travail de recherche au sein de l’équipe Dynamid du laboratoire CITI (http://dynamid.citi-lab.fr/) dont les thématiques autour de l’Internet des Objets sont les suivantes :

* middleware
* langages de programmation
* systèmes distribués
* sécurité
* preuve formelle

L’équipe Dynamid entretien une forte dynamique de collaboration avec des acteurs industriels locaux et internationaux (Spie ICS, Red Hat, Algosecure, Econocom, Valéo) et un intérêt pour ce type d’interaction est attendu de la part des candidat(e)s.

Enseignement

La personne recrutée effectuera des vacations (service allégé) au sein du Département Télécommunications, Services et Usages dans le domaine informatique.

Les matières ouvertes à intervention sont :

* web
* développement et d’applications distribuées
* système
* langages de programmation
* sécurité

Diplôme souhaité

Doctorat en section 27 avec une thématique en relation avec les travaux développés dans Dynamid.


Assistant Professor – ATER, Computer Science Dpt, INRIA CITI LAB, INSA LYON

Poste : ATER/MCF0488/IF-CITI Section : CNU27
Profil court : Informatique Job profile : Computer Science
 
Profil : Informatique avancée
Dans cette année charnière où nous ouvrons une filière par alternance en plus de la formation classique de nos élèves-ingénieurs, nous avons des besoins dans toutes nos équipes pédagogiques : « Développement Logiciel », « Architectures matérielles, Systèmes et Réseaux », « Systèmes d’Information » ou encore « Mathématiques et Outils de Modélisation ». Nous avons des besoins sur les 3 années de la formation dans le cadre de TD, de TP ou de Projets et ce sont les compétences du/de la candidat(e) qui sera retenu(e) qui déterminera précisément la fiche de service. Noter cependant que les compétences demandées au (à la) candidat(e) exigent une formation initiale (niveau M2) en Informatique et des études doctorales en cours ou achevées dans une école doctorale d’informatique.
 
Département d’enseignement : IF
 
Lieu(x) d’exercice : INSA LYON, Bâtiment Blaise Pascal Nom directeur département : Jean-François BOULICAUT Tel directeur dépt. : 04 72 43 89 05
 
 
Descriptif Dépt : Le Département Informatique forme des ingénieurs à caractère généraliste en informatique. Le système pédagogique est conçu pour permettre l’acquisition de compétences aussi bien scientifiques et techniques en informatique que des compétences d’ingénierie, de conception, et de conduite de projets. Dès la sortie de l’école, nos ingénieurs sont opérationnels dans des parcours professionnels variés (études, développement, et intégration des logiciels, architecte de systèmes d’information, expertise technique, etc).
 
Recherche :
 
Profil : Le CITI souhaite recruter une/un ATER capable de s’intégrer dans l’une des six équipes du laboratoire pour venir s’intégrer dans les thématiques du CITI.
– Pour une intégration dans Agora (ex-Urbanet), la/le candidat(e) devra s’intéresser aux protocoles
et architectures réseaux pour l’IoT, en particulier sur des problématiques de réseaux autonomes.
La capacité à mener des expérimentations est requise ;
– pour une intégration dans Chroma, le profil attendu concerne la prise de décision distribuée ou la
planification de trajectoire avec application aux flottes de robots mobiles connectés. La capacité
à mener des travaux théoriques et expérimentaux sur plateformes robotiques est souhaitée ;
– pour une intégration dans DynaMid, la/le candidat(e) devra idéalement maitriser les concepts et outils liés aux aspects logiciels de l’IoT et aux intergiciels dynamiques. Des compétences en
sécurité et/ou en vérification de logiciels sont également appréciées ;
– pour une intégration dans Privatics, la/le candidat(e) devra s’intéresser aux mécanismes
préservant la vie privée comme l’anonymisation des données, la transparence des algorithmes, la prévention des fuites de données, etc. ;
 – pour une intégration dans Socrate, la/le candidat(e) devra maîtriser l’un des domaines suivants : systèmes d’exploitation pour environnement intermittent, arithmétique et gestion mémoire pour capteurs très basse consommation ;
– pour une intégration dans Wired (ex-Dice), la/le candidat(e) devra effectuer sa recherche sur les plateformes d’intermédiation, le développement orienté flux ou le traitement de données.
Dans le contexte de notre laboratoire, il est important que la/le candidat(e) possède soit un très fort bagage théorique avec la capacité de les appliquer soit une démarche expérimentale rigoureuse. Enfin, une attention sera portée sur la cohérence entre le profil enseignement et celui de recherche.
 
Laboratoire de recherche : Laboratoire CITI-Inria, INSA Lyon Lieu(x) d’exercice : INSA de LYON
 
Nom directeur labo : Valois Fabrice
 
Tel directeur labo : 04 7243 6418
 
Email directeur labo : fabrice.valois@insa-lyon.fr
 
 
Descriptif Laboratoire : Le CITI (Centre d’Innovation en Télécommunications et Intégration de services) est un laboratoire de l’INSA Lyon dont Inria est la seconde tutelle. Structuré autour de six équipes de recherche, dont cinq sont des équipes Inria, le CITI est composé de 90+ personnes dont 32 enseignants-chercheurs et chercheurs, trois assistantes, une vingtaine de doctorants, une dizaine de post-doc et d’ingénieurs, et une dizaine de stagiaires internationaux. Évoluant dans un contexte de réseaux sans fil, le CITI couvre la conception de systèmes embarqués très faible consommation, d’interfaces radios flexibles et coopératives, de protocoles réseaux et d’architectures de communications, de flotte de robots connectés, d’intergiciels dynamiques, et de systèmes de protection de la vie privée numérique. Le projet de recherche du CITI s’intéresse donc aux défis scientifiques posés par l’Homme connecté à la société numérique. Ces travaux se font autour de six équipes de recherche : Agora (ex-Urbanet), Chroma, Dynamid, Privatics, Socrate et Wired (ex- Dice). Les travaux du laboratoire s’inscrivent dans une tradition de travaux fondamentaux associés à des expérimentations s’appuyant sur de nombreuses plateformes matérielles et logicielles telles que l’EquipeX FIT/IoT Lab CorteXlab. Par ailleurs, le CITI pilote la Chaire IoT Spie-ICS / INSA Lyon et est membre de la Chaire Volvo / INSA Lyon. Possédant plusieurs dizaines de relations industrielles contractualisées, le CITI est également un laboratoire très ouvert sur l’international (e.g. équipe associée avec Princeton et Rutgers).

CITI Talk: “New achievable rate regions for fundamental network information theory problems”, Arun Padakandla (Purdue University, IN, USA), 17/07 14h

Title
New achievable rate regions for fundamental network information theory problems
Speaker
Arun Padakandla (Purdue University, IN, USA)
Abstract
In this talk, we consider the fundamental information-theoretic problems of characterizing 2) the capacity regions of channel coding problems such as broadcast, interference and 2) necessary and sufficient conditions for joint source-channel coding of distributed correlated sources. Going beyond independent and identically distributed codewords, we propose the ensemble of coset codes possessing algebraic closure properties and derive new achievable rate regions (inner bounds) to the capacity regions of the former problems with three or more receivers. Our findings are based on characterizing performance of new encoding and decoding rules that exploit the algebraic properties of these codes. Next, we observe that the conventional approach of single-letter coding is sub-optimal for joint source channel coding over multiple access and interference channels. We propose a novel multi-letter coding technique based on appropriately stitching together single-letter techniques. Most importantly, we characterize an inner bound to its performance via a single-letter expression, which is proven to strictly enlarges currently known single-letter achievable rate regions based on single-letter coding. This puts forth a useful technique for characterizing new inner bounds to problems that might not permit an optimal single-letter technique.
 

CITI Talk: “Machine Learning for Solving Software Maintenance and Evolution Problems”, Gabriela Czibula, Prof. & Istvan Czibula, Ass. Prof, University of Babes-Bolyai, Computer Science Dept, 10/07, 11h

Gabriela Czibula, Prof., and Istvan Czibula, Ass. Prof, University of Babes-Bolyai, Computer Science Dept will present “Machine Learning for Solving Software Maintenance and Evolution Problems + Presentation of the Faculty of Mathematics and Computer Science, Babes-Bolyai University and MLyRE Research Group” at the CITI Lab on Monday, July 10th 2017.

http://www.cs.ubbcluj.ro/~gabis/

http://www.cs.ubbcluj.ro/~istvanc/