法國(guó)國(guó)家信息與自動(dòng)化研究所（INRIA）2023年招聘博士后
法國(guó)國(guó)家信息與自動(dòng)化研究所（或稱法國(guó)國(guó)立計(jì)算機(jī)及自動(dòng)化研究院），法文為 Institut national de recherche en informatique et en automatique (簡(jiǎn)稱INRIA)，其重點(diǎn)研究領(lǐng)域?yàn)橛?jì)算機(jī)科學(xué)，控制理論及應(yīng)用數(shù)學(xué)。該研究院于1967年在巴黎附近的羅克庫(kù)爾的創(chuàng)立，為法國(guó)國(guó)家科研機(jī)構(gòu)，直屬于法國(guó)研究部和法國(guó)經(jīng)濟(jì)財(cái)政工業(yè)部。INRIA是世界著名的科研機(jī)構(gòu)，其科研實(shí)力在世界大學(xué)和科研機(jī)構(gòu)的計(jì)算機(jī)領(lǐng)域中排名前列。
Post-Doctoral Research Visit F/M fundamental limits of massive, reliable and low latency communications
Inria
2023-06371 - Post-Doctoral Research Visit F/M fundamental limits of massive, reliable and low latency communications
Contract type : Fixed-term contract
Level of qualifications required : PhD or equivalent
Fonction : Post-Doctoral Research Visit
Level of experience : Recently graduated
About the research centre or Inria department
The Inria research centre in Lyon is the 9th Inria research centre, formally created in January 2022. It brings together approximately 300 people in 16 research teams and research support services.
Its staff are distributed at this stage on 2 campuses: in Villeurbanne La Doua (Centre / INSA Lyon / UCBL) on the one hand, and Lyon Gerland (ENS de Lyon) on the other.
The Lyon centre is active in the fields of software, distributed and high- performance computing, embedded systems, quantum computing and privacy in the digital world, but also in digital health and computational biology.
Context
This postdoctoral position is funded in the framework of the PEPR “5G et reseaux du futur” of the national recovery plan, in the collaborative project FUNDS lead by Prof François Baccelli. The student will be supervised by Jean-Marie Gorce, professor at INSA Lyon and affiliated to Inria Lyon, in collaboration with François Baccelli.
The key objective of the position is to elaborate on a new theoretical framework to design new communication rules in wireless multi-user context with (almost) deterministic delay and reliability guarantees. This objective is required to sustain the development of machine-to-machine (M2M) communications in the context of robotics, industry4.0 and vehicular communications. The candidate will primarily work on elaborating a theoretical framework relying upon information theory, queuing theory and stochastic network calculus.
The postdoc student will be hosted in INRIA Lyon, with regular visits to INRIA Paris.
Assignment
The general scope of the position is thus related to extreme reliable and latency constraints in multi-user scenarios.
When decoding deadlines are less or in the order of a slot duration, high guarantees in terms of latency and reliability have to be studied at the channel use level in the framework of non-asymptotic information theory. Te proposed research program will elaborate upon finite block-length information theory 1,2,3 and joint coding strategies such as superposition coding, dirty paper coding or rate splitting multiple access. In this line of work, a recent original contribution relies on considering heterogeneous arrivals and deadlines, with dynamic joint coding (see 4,5). When the deadline constraints are indeed very strong and impose immediate transmission, the only possible action is to minimize the risk of failed transmission by choosing an optimal immediate strategy. While the prior target is on the broadcast channel, and its dual, the multiple access channel, the interference channel may be also useful to study an infrastructureless scenario.
When the decoding deadline constraints are less stringent, compared to the slot time, scheduling and queues management become important too. To ensure strong reliability, optimal scheduling and resource allocation can be investigated in the framework of stochastic network calculus 6. An open challenge is how to extend stochastic network calculus methods to design queue regulation mechanisms (beyond sigma-rho and service curve regulation) that incorporates new PHY layer protocols (based on the aforementioned strategies). The goal will be to establish queue management algorithms with strong statistical latency guarantees beyond expected latencies.
The work program will follow
(i) Formulation of the FBL multi-user limits in the downlink, for heterogeneous arrival and deadline short packets.
(ii) Derivation of achievable bounds with joint coding strategies, considering MIMO channels and fading, with perfect channel knowledge.
(iii) Derivation of large scale limits with stochastic geometry.
(iv) Integration of scheduling strategies relying upon stochastic network calculus.
1 Polyanskiy, Y., Poor, H. V., & Verdú, S. (2010). Channel coding rate in the finite blocklength regime. IEEE Transactions on Information Theory , 56 (5), 2307-2359.
2 Erseghe, T. (2016). Coding in the finite-blocklength regime: Bounds based on Laplace integrals and their asymptotic approximations. IEEE Transactions on Information Theory , 62 (12), 6854-6883.
3 Tuninetti, D., Smida, B., Devroye, N., & Seferoglu, H. (2018, May). Scheduling on the Gaussian broadcast channel with hard deadlines. In 2018 IEEE International Conference on Communications (ICC).
4 Nikbakht, H., Egan, M., & Gorce, J. M. (2022, April). Joint channel coding of consecutive messages with heterogeneous decoding deadlines in the finite blocklength regime. In 2022 IEEE Wireless Communications and Networking Conference (WCNC) (pp. 2423-2428).
5 Nikbakht, H., Wigger, M., Shitz, S. S., & Gorce, J. M. (2021, October). Cooperative encoding and decoding of mixed delay traffic under random-user activity. In 2021 IEEE Information Theory Workshop (ITW) (pp. 1-6).
6 Feng, K., & Baccelli, F. (2023). Spatial Network Calculus and Performance Guarantees in Wireless Networks. arXiv preprint arXiv:2302.02001.
Main activities
Main activities (5 maximum) :
Elaborate a theoretical framework to address the hard latency and reliability constraints.
Propose new theorems and their associated proofs.
Do simulations to validate the theoretical results.
Write reports and papers for top-conferences and journals.
Present your work at international meetings and conferences.
Additional activities (3 maximum) :
Participate to lecture groups on recent papers.
Contribute to the scientific discussions of the research teams.
Skills
The candidate must hold a PhD degree (or must be about to obtain a PhD) in a relevant field such as: computer science, informatics, mathematics, statistics, telecommunications.
Required skills:
fluent spoken and written technical english
a strong background in applied mathematics, statistical signal processing and/or information theory
a solid publication track record
familiarity with Matlab or Python/Numpy
Benefits package
Subsidized meals
Partial reimbursement of public transport costs
Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
Possibility of teleworking (90 days / year) and flexible organization of working hours
Professional equipment available (videoconferencing, loan of computer equipment, etc.)
Social, cultural and sports events and activities
Access to vocational training
Social security coverage under conditions
Remuneration
2746歐元 gross salary / month
General Information
Theme/Domain : Networks and Telecommunications System & Networks (BAP E)
Town/city : Villeurbanne
Inria Center : Centre Inria de Lyon
Starting date : 2023-11-01
Duration of contract : 1 year, 8 months
Deadline to apply : 2023-07-16
Contacts
Inria Team : MARACAS
Recruiter : Gorce Jean-marie / jean-marie.gorce@inria.fr
The keys to success
Strong interested in mathematics applied to solve scientific questions.
Interest and basic knowledge relative to wireless networks and protocols.
Strong motivation to join a high level research group, to participate to internal or external collaborations.
Strong motivation to present your work in international conferences and in top ranked journal papers.
About Inria
Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.
Instruction to apply
Applications must be submitted online on the Inria website.
Processing of applications sent by other channels is not guaranteed.
Defence Security : This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy : As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.
