Administrative Assistant, INRIA CITI Lab, INSA Lyon

Leave a comment
logo-citi

Intitulé du poste

Gestionnaire d’équipes de recherche en laboratoire

Quotité

70%

Mission et contexte

La personne recrutée fera partie d’un service de trois personnes (2.2 équivalent temps plein) en charge de la gestion administrative et financière du laboratoire CITI composé d’environ 90 membres organisés à travers six équipes de recherche. Cette gestion se fait à deux niveaux : d’une part au niveau du laboratoire avec des missions communes, et d’autre part au niveau des équipes de recherche avec des missions spécifiques. La gestion au sein du laboratoire et au sein des équipes, telle qu’entendue ici, comporte des volets RH, financiers, logistiques, organisationnels et de gestions de contrats.
La personne recrutée aura pour mission de s’occuper de deux équipes de recherches pour tous recrutements, événements, mobilités, bons de commandes sur des budgets INSA Lyon et INSAVALOR uniquement.

Activités et tâches principale(s) au niveau du laboratoire

  • Instruire les dossiers en vérifiant la régularité juridique, administrative et financière
  • Assurer le soutien logistique (locaux, matériels, fournitures) de l’activité d’un service, de manifestations (soutenances de thèse, conférences, réunions, séminaires, colloques)
  • Organiser, alimenter, mettre à jour des bases de données relatives à la gestion
  • Alimenter des tableaux de bord, faire des extractions dans les systèmes d’information administratif, financier et/ou ressources humaines
  • Faire le suivi des doctorants du laboratoire (contrats, soutenance, devenir, etc.)
  • Répondre aux demandes d’informations des autres services et de l’extérieur
  • Sélectionner et diffuser de l’information en interne et en externe
  • Gérer les aspects logistiques en particulier les locaux et les matériels
  • Gérer les commandes de matériels (fonctionnement et équipement) dont certains doivent se faire suivant les lois des marchés publics (ie hors marché de l’établissement)
  • Accueillir les personnes recrutées, les visiteurs au sein du laboratoire

Activités et tâches principale(s) au niveau des équipes de recherche

  • Etre le point de contact des membres de deux équipes de recherche pour tout ce qui est relatif aux contrats et projets gérés par INSA Lyon et INSAVALOR
  • Organiser les missions (planification, trajet, séjour, inscription si besoin)
  • Gérer les budgets des équipes sur les lignes de crédits INSA Lyon et INSAVALOR
  • Gérer les dossiers RH des personnes recrutées sur budgets INSA Lyon et INSAVALOR

Compétences et qualités requises

  • Rendre compte
  • Sens relationnel
  • Rechercher l’information, la vérifier et la classer
  • Utiliser les logiciels de gestion du domaine, les logiciels de bureautique
  • Planifier son activité, gestion des priorités
  • Travailler en équipe
  • Compréhension et expression écrite et orale en anglais de niveau 1 minimum, 2 de préférence
  • Faire preuve tant d’autonomie que d’initiative
  • Nécessité d’une grande polyvalence

Contact : fabrice.valois@insa-lyon.fr (directeur du CITI)


Full Professor – Professeur des Universités PR27 “Network or Middleware”, INRIA CITI Lab, INSA Lyon

Leave a comment
logo-citi

Le laboratoire CITI (Centre d’Innovations en Télécommunications et Intégration de services, http://www.citi-lab.fr/) de l’INSA Lyon, sous tutelle Inria, recrute une/un professeur(e) des universités en section 27 dans le profil soit Réseaux soit Intergiciels pour intégration dans l’équipe Inria Agora (https://team.inria.fr/agora/) ou dans l’équipe Dynamid (http://dynamid.citi-lab.fr/) respectivement.

Profil complet :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPostesPublies/ANTEE/2017_1/0690192J/FOPC_0690192J_4197.pdf

Profil recherche

Le CITI souhaite recruter une/un professeur(e) des universités s’insérant dans le projet de recherche du laboratoire et qui aura pour vocation :

  • soit d’intégrer l’équipe Agora (ex-Urbanet) s’intéressant aux protocoles et architectures de réseaux sans fil pour les environnements denses, aux problématiques d’optimisation et/ou de d’expérimentations de réseaux radio, en particulier déployé en environnement urbain ;
  • soit d’intégrer l’équipe Dynamid s’intéressant aux intergiciels dynamiques, à la composition de services, aux systèmes distribués, aux langages de programmation dynamiques, aux outils logiciels pour la conception d’applications large échelle pour l’IoT.

Il est important que la/le candidat(e) s’inscrive dans le projet de recherche en cours d’une de ces deux équipes en venant, par exemple, renforcer une problématique déjà installée ou compléter les travaux de l’équipe. La capacité à prendre, à terme, la responsabilité scientifique d’une des deux équipes, en respectant l’existant, est un critère prioritaire dans le recrutement.
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. La capacité à devenir un cadre du laboratoire sera un critère important.

Contact recherche : fabrice.valois@insa-lyon.fr (directeur du CITI)

Profil enseignement

La personne recrutée intègrera l’équipe pédagogique d’informatique du Département du Premier Cycle. Elle s’investira dans les enseignements de tronc commun des deux années. Ceux-ci concernent les fondamentaux : éléments d’architecture et systèmes, codage de l’information, algorithmique, paradigmes de programmation (impérative, orientée objet, événementielle, déclarative). Le langage Java est utilisé pour la progression sur l’ensemble du cycle, SQL est introduit en 2e année pour interroger des bases de données. Chaque année (1A et 2A) comporte la réalisation d’un projet pour accroitre l’autonomie des étudiants et leur capacité à développer des logiciels. La personne recrutée pourra aussi intervenir dans les parcours P2I pour un enseignement de l’informatique dans un cadre contextualisé et pluridisciplinaire. Une expérience de l’enseignement des fondamentaux de l’informatique et d’une approche pédagogique par projet sera très appréciée. La personne recrutée devra s’impliquer dans les tâches collectives et prendre part à l’ensemble des activités pédagogiques et administratives. A moyen terme, elle prendra la responsabilité d’une équipe pédagogique et sera force d’animation et de proposition de groupes travaillant sur différentes questions: évaluation par compétences, mise en place de nouvelles pratiques pédagogiques, ajustement des contenus et de la pédagogie tenant compte de l’évolution des programmes de lycée et de celle des compétences nécessaires à un futur ingénieur, gestion de l’hétérogénéité des étudiants de 1e année, montage d’actions transversales avec d’autres disciplines.

Contact enseignement : catherine.verdu@insa-lyon.fr (directrice du Premier Cycle) et sylvie.cazalens@insa-lyon.fr (responsable informatique au PC)


Associate Professor – Maître de Conférences MCF27 “Computer Science/Privacy”, INRIA CITI Lab, INSA Lyon

Leave a comment
logo-citi

Le laboratoire CITI (Centre d’Innovations en Télécommunications et Intégration de services, http://www.citi-lab.fr/) de l’INSA Lyon, sous tutelle Inria, recrute une/un maître de conférences en section 27 dans le profil “Vie Privée/Informatique” pour intégration dans l’équipe Inria Privatics (https://team.inria.fr/privatics/).

Profil complet :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPostesPublies/ANTEE/2017_1/0690192J/FOPC_0690192J_4191.pdf

Profil recherche

Le CITI souhaite recruter une/un maître de conférences ciblant principalement l’équipe Inria Privatics (https://team.inria.fr/privatics/) dont le sujet d’étude est la vie privée. Le profil cible les problématiques étudiées par la partie lyonnaise de l’équipe parmi lesquelles : l’anonymisation de données, la transparence des algorithmes, les liens entre méthodes d’apprentissage et vie privée, la vie privée dans l’IoT, la fuite de données dans les réseaux sans fil et les objets connectés, etc.
Cependant, toute excellente candidature pour intégration dans l’une des cinq autres équipes du laboratoire sera également étudiée.
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 l’appliquer soit une démarche expérimentale rigoureuse.

Contact recherche : fabrice.valois@insa-lyon.fr (directeur du CITI)

Profil enseignement

Nous recherchons un(e) candidat(e) pour intervenir dans plusieurs modules typiques d’une formation généraliste en informatique (algorithmique, programmation, réseaux, etc). Ainsi, des compétences pour renforcer certaines de nos équipes pédagogiques comme « Développement Logiciel », « Architectures matérielles, Systèmes et Réseaux » ou encore « Mathématiques et Outils de Modélisation » sont pertinentes et exigent pour nous une formation initiale et un doctorat en informatique. La volonté de s’investir dans des interventions plus pointues sur des domaines comme le « Big Data », la « Transformation Digitale », la « Cybersécurité » ou encore le « Cloud Computing » sera une vraie valeur ajoutée. Outre le travail d’enseignant, nous attendons de ce recrutement qu’il permette au département de mieux préciser son positionnement global sur la formation à la sécurité en informatique (travail de coordination de la part de la personne recrutée sur notre offre dans ce domaine).

Contact enseignement : jean-francois.boulicaut@insa‐lyon.fr (directeur du département Informatique)


Associate Professor – Maître de Conférences MCF27, INRIA CITI Lab, INSA Lyon

Leave a comment
logo-citi

Le laboratoire CITI (Centre d’Innovations en Télécommunications et Intégration de services, http://www.citi-lab.fr/) de l’INSA Lyon, sous tutelle Inria, recrute une/un maître de conférences en section 27 ouvert sur l’ensemble des équipes du laboratoire et dont le profil enseignement est orienté “réseaux”.

Profil complet :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/ListesPostesPublies/ANTEE/2017_1/0690192J/FOPC_0690192J_4192.pdf

Profil recherche

Le CITI souhaite recruter une/un maître de conférences capable de s’intégrer dans l’une des six équipes du laboratoire pour venir renforcer les thématiques du CITI ou développer de nouvelles compétences. Un autre poste de maître de conférences étant également ouvert au concours, et orienté vers l’équipe Privatics, cette équipe sera considérée comme la moins prioritaire sur ce concours.

  • Pour une intégration dans Agora (ex-Urbanet), le/la 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 avec application aux flottes de robots mobiles connectés. La capacité à mener des travaux théoriques et expérimentaux sur plateformes robotiques est fortement souhaitée ;
  • pour une intégration dans DynaMid, le/la candidat(e) devra idéalement maitriser les concepts et outils liés aux aspects logiciels de l’IoT. Des compétences en sécurité et en vérification de logiciels seront un plus très apprécié ;
  • pour une intégration dans Privatics, le/la 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, le/la candidat(e) devra maîtriser l’un des domaines suivant (dans le cadre de la section CNU27 bien sûr) : radio logicielle & radio cognitive, théorie de l’information et algorithmes pour les communications multi-utilisateurs, protocoles crossLayer pour l’IoT, arithmétique et gestion mémoire pour capteurs très basse consommation ;
  • pour une intégration dans Wired (ex-Dice), le/la 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 l’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.

Contact recherche : fabrice.valois@insa-lyon.fr (directeur du CITI)

Profil enseignement
Le poste est à pourvoir au sein du département Télécommunications pour la partie enseignement (voir description ci-dessous). Le/la candidat(e) rejoindra l’équipe pédagogique du département pour renforcer le domaine réseau et avec des interventions possibles dans le domaine informatique.
Le domaine réseau couvre 25% des enseignements du département et développe une pédagogie sur 3 ans intégrant la modélisation des réseaux, les protocoles et les architectures de réseau. La formation intègre des cours théoriques, des travaux pratiques et projets techniques mais également des projets de type appel d’offre.
Le poste a pour but de renforcer l’équipe sur les aspects plateformes techniques, avec une prise de responsabilité sur ces plateformes dans les années à venir. Le ou la candidat(e) devra également contribuer à l’évolution de la formation et s’impliquer dans les parcours de 5ième année où sont développés des cours optionnels autour de 4 parcours: internet des objets, réseaux avancés, web et sécurité ou robotique.
D’autre part il sera demandé au candidat ou à la candidate de s’impliquer en formation sur l’INSA Euro- Méditerranée, avec des déplacements à prévoir à Fès, et une partie de son enseignement à effectuer sur place.
Il ou elle sera spécialiste en réseaux, avec des compétences attendues sur les nouveaux protocoles réseaux, en particulier sur les sujets de la virtualisation, du cloud RAN, des data centers ou des protocoles de type BGP, OSPF. Des compétences dans le domaine de la sécurité (détection d’intrusion, protocoles sécurisés, sécurité et sans fil) pourront être également appréciées.
Le ou la candidat(e) devra démontrer son intérêt pour la pédagogie, en particulier pour les nouvelles formes de pédagogie (mode projets, tutorat, moocs) et sera appelé(e) à s’impliquer sur des missions d’intérêt général pour l’international, les études ou le pilotage de la pédagogie.
La capacité du ou de la candidat(e) à enseigner en anglais sera considérée avec intérêt.

Contact enseignement : jean-marie.gorce@insa-lyon.fr (directeur du département Télécommunications)


Two PhD positions in Applied Mathematics at CITI Lab

Leave a comment
logo-citi

The Socrate Team – Cybernetic Communications Project at Inria, Lyon, France, is looking for two self-motivated full-time Ph.D. students in applied mathematics. The current opening revolves around the analysis of fundamental limits of decentralized data transmission systems via an interdisciplinary approach using tools from information theory, game theory, distributed stochastic systems and signal processing.

Both Phd positions are fully funded by Inria and are associated to the doctoral school of Université de Lyon.  The selected candidate will enjoy working with a variety of collaborators from Inria and other partner institutions (see http://cybernets.inria.fr). This position is particularly suited to students holding a degree in electrical engineering, computer sciences, physics and/or applied mathematics, seeking for an academic and research career. The start date can be as soon as September 2016. Skills in french language are not required.

Application and More Information

Applicants should submit to samir.perlaza@inria.fr a cover letter indicating the candidate’s research interests; a detailed curriculum vitae; a list of publications (if any); a list of relevant graduate courses taken along with grades; and contact of two or three referees.

About Inria

Established in 1967, Inria is the only French public research body fully dedicated to fundamental and applied research in information and communication sciences and technology (ICST). Inria is a national operator in research in digital sciences and is a primary contact point for the French Government on digital matters. Under its founding decree as a public science and technology institution, jointly supervised by the French ministries for research and industry, Inria’s missions are to produce outstanding research in the computing and mathematical fields of digital sciences and to ensure the impact of this research on the economy and society in particular. Inria covers the entire spectrum of research at the heart of these activity fields and works on digitally-related issues raised by other sciences and by actors in the economy and society at large. Beyond its structures, Inria’s identity and strength are forged by its ability to develop a culture of scientific innovation and to stimulate creativity in digital research. Throughout its 8 research centres and its 180 project teams, Inria has a workforce of 3400 scientists with an annual budget of 265 million euros, 29% of which coming from its own resources.

About CITI-Lab

The Cybernetic Communications Group -Cybernets@Inria- is hosted by the Centre for Innovation and Integration of Services (CITI Lab). The CITI Lab is an INRIA research laboratory affiliated to Université de Lyon and l’INSA de Lyon (National Institute of Applied Sciences).


Postdoctoral opportunity on anonymization of mobile phone data at CITI Lab

Leave a comment
logo-citi
Subject

Anonymization of mobile phone data: algorithm design and impact on applications

Location

CITI Lab, INSA Lyon, Inria – Villeurbanne, France http://www.citi-lab.fr

Position

18-month postdoctoral fellowship

Start date

Fall 2016

Contacts and supervisors

Marco Fiore marco.fiore@ieiit.cnr.it

More info: http://perso.citi.insa-lyon.fr/mfiore

Razvan Stanica razvan.stanica@inria.fr

More info: http://perso.citi.insa-lyon.fr/rstanica

Salary

EUR 2,300 per month (net)

Topic

Applications are invited for one postdoctoral position on technical solutions for privacy-preserving publishing of mobile phone data.

The fellow will work on:

(i) the design of algorithms for the anonymization of datasets of mobile network customer trajectories;

(ii) the implementation of such algorithms in big data processing engines;

(iii) the evaluation of the resulting solutions on production databases provided by network operators.

The work will be carried out in cooperation with CNR-IEIIT, Italy, whose early solutions [1,2] will represent the foundations for the work carried out by the fellow, and with Orange, a major mobile network operator in France, who will provide real-world case studies where to apply the privacy solutions at scale.

[1] M. Gramaglia, M. Fiore, On the anonymizability of mobile traffic datasets, NetMob 2015, Boston, MA, USA, May 2015
[2] M. Gramaglia, M. Fiore, Hiding Mobile Traffic Fingerprints with GLOVE, ACM CoNEXT 2015, Heidelberg, Germany, December 2015

What we ask

– A PhD in Computer Science or related field

– Proven past experience in big data processing, preferably with Spark

– A strong publication record in relevant top-tier conferences and journals

– Fluency in written and spoken English.

What we offer

– A unique opportunity to work with massive, fine-grained mobility data

– The possibility to advance the state-of-the-art in the mobile data analytics field

– The prospect to publish at major venues in networking and data mining.

How to apply

– A CV

– A one-page research statement discussing how the candidate’s background fits requirements and topic

– Contact details of two referees shall be sent to marco.fiore@ieiit.cnr.it and razvan.stanica@inria.fr

Applications will be reviewed until the position is filled

 


PhD position in programming languages and IoT at CITI Lab

Leave a comment
logo-citi
 Title

Programming language abstractions for the Internet of Things

Keywords

Programming languages, distributed systems, Internet of Things, middleware

Location

CITI-INRIA Laboratory, Université de Lyon, INSA de Lyon (http://www.citi-lab.fr/)

Dynamid research team (http://dynamid.citi-lab.fr/)

Funding

This PhD thesis will be supported by the Spie-ICS – INSA chair on IoT that will start in September 2016.

Start date

September 2016

Contact

Main supervisor: Dr Julien Ponge julien.ponge@insa-lyon.fr

More info: https://julien.ponge.org

Co-supervisor: Dr Frédéric Le Mouël frederic.le-mouel@insa-lyon.fr

More info: http://perso.citi.insa-lyon.fr/flemouel

Topic
Research project

The so-called Internet of Things marks the convergence of small connected devices (e.g., personal devices, body devices, wireless sensors) and the larger set of more traditional distributed applications as accessed over standard Internet protocols. The “software is eating the world” mantra (http://www.wsj.com/articles/SB10001424053111903480904576512250915629460) is no lie as more and more of devices communicate with cloud-based services. Still, developing and integrating software remains largely a crafting exercise with mainstream programming languages, while research languages tend to be too impractical.

The architecture of modern applications is converging towards distributed services that expose standard-based interfaces. A service tends to fulfill a single functional purpose (e.g., storing some data / logs, providing authentication, and so on). In this setting an application shifts from a paradigm where it is made by assembling component libraries to a paradigm where many (distributed) processes form the application. Communications between such services are typically made using the general-purpose HTTP protocol, but more specific ones can be used when needed (MQTT for IoT devices, ZigBee in some wireless sensor networks, etc). Given that distributed services rely on the integration with other services through highly inter-operable protocols, it is very wise to take advantage of many programming languages rather than follow a “one size fits it all” approach.

Interestingly, the characteristics of distributed services deployed on cloud infrastructures are quite similar to those of (sensor) network gateways. Among many problems, these applications need to cope with concurrency due to network requests, and they have to bind data from/to network protocols. While middleware can be used to, say, automatically expose a HTTP service interface and perform data binding, or to provide concurrent programming abstractions, this remains orthogonal to programming language operational semantics and type systems.

The history of programming languages is paved with abstractions being moved from library support to first-class citizen language constructs: memory management (e.g., Java, Self), threads (e.g., Java), actor models (e.g., Erlang, Scala), communicating sequential processes over co-routines (e.g., Go), etc. Still, even with a modern programming language the development of distributed services involves lots of boilerplate code (e.g., types for network messages data-binding) and there is little to no static checks beyond types, especially with respect to the correctness of concurrent code. As an example, the Go programming language only provides runtime race condition detection.

In practice, one can observe that the code of a typical application based on distributed services involves a significant share of message processing and network operations. The literature lacks successful languages that were both practical and suitable for these kinds of networked applications. The Scala programming language is a prime example of a language effort that initially tried to address the need for the development of “XML services” with the support of XML semi-structured data elements in the language. Still, Scala does not enforce a concurrency model, it does not provide network programming helpers, and it merely focused its efforts on a sophisticated type system. Funnel (Functional Nets) was a predecessor of Scala with first-class support for concurrency primitives based on join-calculus. Still, it proved impractical to use in real-world applications, just like other attempts of join-calculus in the ML / OCaml families.

An alternative to composing distributed applications using programming languages is to rely on some orchestration language such as BPEL and workflow execution engines. Behavioral protocols can be extracted from BPEL processes, which is useful for checking correctness of distributed systems compositions. Still, the limited expressiveness of workflow languages combined with the complex tooling to develop, test and execute them limit their wider adoption in favor of more traditional programming languages.

The main scientific goal of this PhD thesis is to investigate which abstractions shall be part of the next-generation programming languages in the age of the Internet of Things. We are especially interested, but not limited to, the useful abstractions to cope with: concurrency, asynchronous programming, data processing, software dynamics, message passing, network membership discovery and distributed algorithms (e.g., consensus and transactions). Given the distributed / concurrent nature of the applications that we target, we are also interested in providing compilation-time assistance beyond classical type checking (e.g., deadlock detection, time-bound guarantees, operation sequences consistency, etc). Last but not least: we also want the research outcomes to be practical.

Anticipated challenges

1. Establish an exhaustive state of the art on programming language and middleware abstractions. Consider which ones shall be part of a programming language, and which ones shall be relegated to library support, based on an extensive study of distributed services requirements.

2. Propose a programming language, perhaps as a new or a derivative of an existing one like Eclipse Golo, a language developped at the CITI Lab. Formalize and prove the soundness and correctness of its type system and operational semantics. Classify the ranges of static checks that can be performed at compilation time. Devise which remaining checks shall be done at runtime. Discuss their algorithms.

3. Propose an implementation on top of the Java Virtual Machine or the LLVM code generation infrastructure with state of the art performance. Develop a rigorous micro-benchmarks tests suite, and revisit some suitable larger benchmarks from popular references like http://benchmarksgame.alioth.debian.org/.

4. Validate the language usefulness for developing distributed applications, both in cloud and wireless sensor gateway settings. Provide metrics to evaluate programs against other languages. Perform a field study on practitioners to assess the language practicability, suitability and learning curve.

As the work will be conducted in a larger project as part of the Spie-INSA chair on IoT, the candidate will conduct experiments and share progress with other PhD students in systems, networking and radio communications. We will take advantage of a large IoT experimental room that we have, as well as the FIT / CorteXlab testbeds (http://www.cortexlab.fr/).

Recruitment process
Expected skills

The candidate should have earned an MSc degree (or equivalent) in computer science and engineering. The candidate must have a strong background in distributed computing, both from theoretical and practical point of views, as well as good notions on programming languages theory and implementation. The nature of this work requires strong software engineering skills. Knowledge of the JVM internals or LLVM is a plus, as well as having been exposed to a wide range of programming language families.

How to apply

Email a motivation letter

Full CV with project and courses that could be related to the subject

Complete academic records (from Bachelor to MSc)

2 or 3 references

Applications will be reviewed when they arrive until one candidate is selected

References

Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao and Yannick Loiseau. Towards a Decoupled Context-Oriented Programming Language for the Internet of Things. In Proceedings of the 7th International Workshop on Context-Oriented Programming (COP’2015) in conjunction with the European Conference on Object-Oriented Programming (ECOOP’2015). Prague, Czech Republic, July 2015.

Julien Ponge, Frédéric Le Mouël, and Nicolas Stouls. 2013. Golo, a dynamic, light and efficient language for post-invokedynamic JVM. In Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ ’13). ACM, New York, NY, USA, 153-158.

Julien Ponge, Computer Science & Engineering, Faculty of Engineering, UNSW. (2009). Model based analysis of time-aware web services interactions. PhD Thesis. University of New South Wales.

Martin Odersky. 2000. Functional Nets. In Proceedings of the 9th European Symposium on Programming Languages and Systems (ESOP ’00). Springer-Verlag, London, UK, UK, 1-25.

Martin Odersky and Matthias Zenger. 2005. Scalable component abstractions. In Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA ’05). ACM, New York, NY, USA, 41-57.

Burak Emir, Sebastian Maneth, and Martin Odersky. 2006. Scalable programming abstractions for XML services. In Dependable Systems, Jürg Kohlas, Bertrand Meyer, and Andrü Schiper (Eds.). Springer-Verlag, Berlin, Heidelberg 103-126.

Rob Pike. 2012. Go at Google. In Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (SPLASH’12). ACM, New York, NY, USA, 5-6.

Cédric Fournet and Georges Gonthier. 1996. The reflexive CHAM and the join-calculus. In Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ’96). ACM, New York, NY, USA, 372-385.

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. 1996. A Calculus of Mobile Agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR ’96). Springer-Verlag, London, UK, UK, 406-421.

Cédric Fournet, Cosimo Laneve, Luc Maranget, and Didier Rémy. 1997. Implicit Typing à la ML for the Join-Calculus. In Proceedings of the 8th International Conference on Concurrency Theory (CONCUR ’97). Springer-Verlag, London, UK, UK, 196-212.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, and Arthur H. M. ter Hofstede. 2007. Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67, 2-3 (July 2007), 162-198.

Chris Lattner and Vikram Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO’04), Palo Alto, California, Mar. 2004.


PhD position in Embedded Systems & NVRAM at CITI Lab

Leave a comment
logo-citi
Title

Dynamic Memory Management For Embedded Non-Volatile Memory

Partners

eVaderis (Grenoble Fr) and Verimag laboratory (Grenoble Fr)

You will mostly be located in the CITI Lab in Lyon but you will have to travel to Grenoble several times during the project (expenses covered)

Funding

3-years PhD grant «Allocation Doctorale de Recherche» from Région Rhône-Alpes

Start date

October 2016

Contact

Guillaume Salagnac

guillaume.salagnac@insa-lyon.fr

More info

perso.citi.insa-lyon.fr/gsalagnac/files/phd-nvram.pdf

Short summary

The general context of this project is smart objects, aka the Internet of Things. Technologically speaking, we are interested in next generation System-on-Chip platforms, based on non-volatile memory technologies. Such technologies make it possible to design very energy-efficient embedded systems, but they also require significant changes in terms of software programming. We aim at designing and studying novel memory management mechanisms, both hardware and software, to improve the performance of such systems. More precisely, we will address the problem of dynamic memory management, i.e. allocating, placing, and moving around the various data structures used by the application program.

Recruitment process
Your profile

Master’s degree or equivalent in the area of computer science / computer engineering

Required skills

Software: Low-level and/or embedded programming in C and/or assembly

Hardware: system-on-chip architecture: processor, memory hierarchy

Languages: fluent English, both written and spoken ; French is a plus but is not required

Bonus skills

Software: discrete event simulation

Work environment: Linux with command-line, scripting language(s)

Personal: autonomy, sense of organization, curiosity, initiative

Relational: good communication skills, intellectual rigour

How to apply

Send an e-mail with one PDF attachment, containing:

Detailed curriculum vitae

Application letter and/or your last internship report

Academic transcripts (including ranking if available) for the last two years of study

2 to 3 letters of recommendation, or a list of reference persons and their e-mail addresses


PhD position in M2M Radio Communications at CITI Lab

Leave a comment
logo-citi
Title

Non-asymptotic fundamental limits of impulsive radio communications

Laboratory

CITI Lab. Centre of Innovation in Telecommunications and Integration of Service (www.citilab.fr)

Funding

This PhD position takes part of the ANR project ARBurst that has been submitted to the ANR2015. The position will be fully funded if the project is accepted. The final answer for the funding will be known in July 2015.

Contacts

Prof. Jean-Marie Gorce

jean-marie.gorce@insa-lyon.fr

perso.citi.insa-lyon.fr/jmgorce

Dr. Philippe Mary

philippe.mary@insa-rennes.fr

pmary.perso.insa-rennes.fr

Topic

With the recent development of machine-to-machine (M2M) communications and internet-of-things (IoT) networks, the infrastructures have to support more users (or nodes) but each of them requesting a very small quantity of information. This project aims at defining a more appropriate formalism allowing to estimate the theoretical limits of M2M communications. The performance of large scale networks has been widely studied during the past 10 years with usual theoretical tools such as Shannon theory or stochastic geometry. These tools provided interesting insights about scaling laws and theoretical limits but with a limited applicability in the context of M2M, IoT and future 5G services due to the inherent spurious and bursty nature of the associated information flows. While the small packet size invalidates the use of the asymptotic Shannon capacity as a performance indicator, the consequent bursty nature also invalidates the Gaussian assumption usually used to model the interference distribution. As a consequence fundamental limits are neither well known nor even well formulated. The goal of the PhD is to propose new design criteria for M2M networks based on the non-asymptotic information theory framework [1] but taking into account bursty communications, i.e. use of non-Gaussian interference distribution [2], and large-scale deployment, i.e. use of stochastic geometry tool [3]. The candidate will first address the problem of the non-asymptotic bounds (achievability and converse) in a non-Gaussian peer-to-peer (P2P) link. The impulsive noise could be represented by an alpha-stable distribution or other distribution able to capture the impulsiveness of the noise. The Polyanskiy’s approach will be investigated trough the κβ bound method for the achievability part. One the challenge would be to derive an expression (or compute) the dispersion of the impulsive channel [1]. The MolavianJazi’s method [4], based on the central limit theorem (CLT) for functions, could also be investigated in order to approach the mutual information density for a stable noise. The inherent dependence between the rate and the error-probability in finite blocklength regime will help us to define a multiobjective framework for the evaluation of the M2M network performances. Based on these results, the PhD candidate will extend the previous approach to the multi-user case, through the study of the multiple access channel (MAC) and broadcast channel (BC). Based on the outage-splitting theorem for Gaussian MAC [4], the candidate will address the problem of the achievable region of MAC in impulsive noise. The BC scenario will be investigated as a next step. Generally, i.e. in Gaussian framework, the achievable region of multi-user communications is derived under finite second-order moment. This assumption does not hold generally in impulsive noise, overall if alpha-stable distributions are considered, alternative constraint-cost functions need to be considered. A part of the research will consist to clearly define on which assumptions the achievability can be studied in bursty M2M context. Finally, interfering users will be considered as (non-gaussian) noise, but distributed as a Poisson point process (PPP). The challenge is to merge the non-asymptotic theory to the stochastic geometry tool in order to figure out how the channel dispersion behaves in a randomly deployed network and when the interference is considered as non-Gaussian. The work proposed in this PhD could be of a great importance for industrial actors and researchers in the deployment of the future IoT networks. The limits derived in the thesis could provide guidelines to sustain the dramatic increase of the number of connected devices by giving a set of design criteria for these networks.

Key skills

The candidate should have earned an MSc degree, or equivalent, in one of the following field: information theory, signal processing, electrical engineering, applied mathematics. He should have a strong background in probabilities and information theory as well as in signal processing for wireless communications. The candidate should be familiar with Matlab and C/C++ languages.

Key words

Asymptotic and non-asymptotic information theory, capacity, second-order rate, probabilities, mutual information, measure theory, Poisson point process, alpha-stable.

How to apply

– Email a motivation letter
– Full CV with project and courses that could be related to the subject
– Complete academic records (from Bachelor to MSc)
– 2 or 3 references
– Deadline for application September 15th, 2016

References

[1] Y. Polyanskiy, H. V. Poor and S. Verdu, “Channel coding rate in the finite blocklength regime”, IEEE Transactions on Information Theory, vol. 56, no. 5, pp. 2307-2359, May 2010.
[2] G. Samorodnitsky and M. S. Taqqu, Stable Non-Gaussian Random Processes: Stochastic Models with Infinite Variance, Chapmann and Hall, 1994.
[3] F. Baccelli and B. Blaszczyszyn, “Stochastic geometry and wireless networks: volume 1 theory”, Foundations and Trends in Networking, Vol. 3, No. 3-4, pp. 249-449, 2010.
[4] E. MolavianJazi and J. N. Laneman. “A finite blocklength perspective on Gaussian multi-access channels”, CoRR, abs/1309.2343, 2013.


PhD position in Distributed Coding for IoT Networks at CITI Lab

Leave a comment
logo-citi
Title

Distributed coding for dense IoT networks

Laboratory

CITI Lab. Centre of Innovation in Telecommunications and Integration of Service (www.citilab.fr)

Funding

This PhD will be supported by the chair Spie-ICS – INSA on IoT that will start in September 2016.

Contact

Prof. Jean-Marie Gorce

jean-marie.gorce@insa-lyon.fr

perso.citi.insa-lyon.fr/jmgorce

Topic

TWith the recent development of machine-to-machine (M2M) communications and internet-of-things (IoT) networks, the cellular network paradigm is evolving to serve massive IoT with bursty traffic in either uplink or downlink mode [3]. Although different techniques are already proposed on the market [2], the best strategy is not known. Considering this massive IoT network paradigm, classical medium access protocols are not efficient because they require lot of signaling for traffic scheduling and channel state information [4]. Multiplexing techniques such as FTDMA, CDMA or OFDMA would require complex synchronization and handshake mechanisms while random access techniques such as CSMA/CA introduce large overheads. In order to maximize the network life-time while ensuring low latency and high reliability, new distributed transmission techniques are necessary. The challenge is to approach the theoretical limits established for the asymptotic regime in [1]. An ideal technique in uplink mode would let the nodes to transmit randomly at their own convenience without any coordination mechanism but with perfect reliability. In downlink, the BS should be able to transmit simultaneously to several nodes while each node would be able to easily decode its own information without complex processing. To approach these limits, the main part of the computational complexity needs to be put at the base station side (in both downlink and uplink cases) using superposition coding or dirty paper coding in downlink mode and multi-user detection techniques in uplink. Additionally, simple but efficient modulation and coding schemes are necessary [4,5]. Another way may rely on exploiting recent results in distributed estimation theory that provided bounds on the reconstruction errors [6]. In addition, opportunistic cooperative mechanisms and compressive sensing techniques when the sources are correlated are possible candidates to optimize the transmission techniques. In this PhD, the candidate will contribute to the design of a new transmission technique devoted to very small packets (as small as few bits) and will study the fundamental tradeoffs: energy efficiency vs spectral efficiency and reliability vs latency. He will design new PHY/MAC strategies and will derive the theoretical proofs of the system performance. The work proposed in this PhD could be of a great importance for the deployment of future IoT networks.

Key skills

The candidate should have earned an MSc degree, or equivalent, in one of the following field: information theory, signal processing, electrical engineering, applied mathematics. He should have a strong background in probabilities and information theory as well as in signal processing for wireless communications. The candidate should be familiar with Matlab and C/C++ languages.

Key words

Modulation and coding, distributed networks, rateless coding, estimation theory, information theory.

How to apply

– Email a motivation letter
– Full CV with project and courses that could be related to the subject
– Complete academic records (from Bachelor to MSc)
– 2 or 3 references
– Applications will be reviewed when they arrive until one candidate is selected

References

[1] Gorce, JM, Poor H.V. & Kelif, JM, “Spatial Continuum Extensions of Asymmetric Gaussian Channels (Multiple Access and Broadcast)”, https://hal.inria.fr/hal-01265184.
[2] Goursaud, C., Gorce, J. M. (2015). Dedicated networks for IoT: PHY/MAC state of the art and challenges. EAI endorsed transactions on Internet of Things.
[3] Dhillon, H. S., Huang, H., Viswanathan, H., & Valenzuela, R. A. (2014). Fundamentals of throughput maximization with random arrivals for M2M communications. Communications, IEEE Transactions on, 62(11), 4094-4109.
[4] Shirvanimoghaddam, M., Li, Y., Dohler, M., Vucetic, B., & Feng, S. (2015). Probabilistic rateless multiple access for machine-to-machine communication. Wireless Communications, IEEE Transactions on, 14(12), 6815-6826.
[5] Shirvanimoghaddam, M., Dohler, M., & Johnson, S. J. (2016). Massive Multiple Access Based on Superposition Raptor Codes for M2M Communications. arXiv preprint arXiv:1602.05671.
[6] Unsal, A., & Knopp, R. (2015). Distributed Sensing and Transmission of Sporadic Random Samples Over a Multiple-Access Channel. Communications, IEEE Transactions on, 63(10), 3813-3828.