Vacancy Edu

43 PhD Degree-Fully Funded at Inria, France

Spread the love

Inria, France invites online Application for number of  Fully Funded PhD Degree at various Departments. We are providing a list of Fully Funded PhD Programs available at National Institute for Research in Computer Science and Automation (Inria), France.

Eligible candidate may Apply as soon as possible.

 

(01) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Isoperimetric inequalities of convex projective geometries and applications

The goal of this PhD subject is to develop a theory of isoperimetric inequalities for the Hilbert and Thompson metric in convex domains, in interaction with the application fields (optimization and games) in which these metrics arise. See the detailed subject
for more information.

Deadline : 2022-09-30

View details & Apply

 

(02) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Trustworthy multi-site privacy-preserving technologies

The overall goal of the TRUMPET project is to research and develop novel privacy enhancement methods for Federated Learning, and to deliver a highly scalable Federated AI service platform for researchers, that will enable AI-powered studies of siloed, multi-site, cross-domain, cross-border European datasets with privacy guarantees that exceed the requirements of GDPR. 

Deadline : 2022-09-30

View details & Apply

 

View All Fully Funded PhD Positions Click Here

 

(03) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M PhD in decision and planning for an autonomous vehicle

The objective is to contribute to the development of algorithms dedicated to the decision and the trajectory planning for autonomous vehicles, operating in road and urban environments. These modules will be validated on real instrumented prototypes belonging to the project partners.

Deadline :  2022-09-30

View details & Apply

 

(04) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Adjoint-based error quantification and mesh adaptation for turbulent flows

The PhD student will first learn all the concepts related to mesh adaptation. He/she will perform several adaptive simulations of turbulent flows (RANS) to become familiar with the Inria’s mesh adaptive simulation platform involving a flow solver, an adaptive mesh generator, an error estimate code and an interpolation code. Simulations of subsonic, transonic and supersonic flows for aeronautics applications will be considered, for which different error estimates will be compared.   

Deadline : 2022-08-31

View details & Apply

 

Polite Follow-Up Email to Professor : When and How You should Write

 

(05) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Linux as a micro-kernel

So far, Linux kernel services have been externalized to user-space individually, with the hypothesis that the other operating-system services run in kernel space. For instance, in uFS the file system is a process that includes several threads. Although the uFS file system worker threads are pinned to dedicated cores, one can imagine their management by the kernel scheduler in order to avoid core waste. How could a userland scheduler such as ghOSt take those threads into account? More generally, no one is able to say how to make all these Linux services run effectively, efficiently, and in symbiosis at the user-space level. We want to answer this question. Also, as a bigger challenge, we want to study the externalization of the Linux’s memory management subcomponent, on which all other components rely.

Deadline : 2022-08-31

View details & Apply

 

(06) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Optimizing Compilation from Higher-Order Programming to Computer Architecture

The ideas and tools that will be crafted during this PhD will be used to analyze and compare the different JavaScript implementations in order to shed light on aspects of the executions that are generally badly understood. That is, this analysis will compare the behavior of the different executions and their adaptation to actual hardware settings, instead of focusing on raw performance of JavaScript benchmark as most analyses do. More precisely, Hopc has various code generation strategies to translate JavaScript to C. The goal is to compare them with each other, and also against what existing JIT compilers do.

Deadline : 2022-08-16

View details & Apply

 

Click here to know “How to Write an Effective Cover Letter”

 

(07) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Approximation methods for the soundness of control laws derived by machine learning

The design of controllers for large cyber physical systems (CPS, i.e. systems driven both by physical equations and digital controllers) is challenged today by machine learning approaches, and specifically reinforcement learning. The latter however still fail to provide guarantees on the behavior of the controllers it provides. The objective of this thesis is to explore a range of techniques that would make control design for CPS or any other large-scale complex system sound and scalable. The focus will be on quantitative methods, that provide performance guarantees, for example PAC bounds (probably approximately correct).

Deadline : 2022-08-12

View details & Apply

 

(08) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Explainable Artificial Intelligence for Rule-Based Logical Languages

This offer for a PhD is part of a bilateral project between Inria and the DFKI (German Research Center for Artificial Intelligence), which starts on 01/01/2022, namely R4Agri (Reasoning on Agricultural Data: Integrating metrics and qualitative perspectives). Taking numerical agriculture as the targeted application domain, the overall goal of the R4Agri project is to provide a framework for reasoning about knowledge based on heterogeneous data, with a focus on multi-modal and multi-scale sensor data. Main challenges include context-dependent interpretation of sensor data, which involves reasoning about prior knowledge, and query answering techniques that exploit domain knowledge and accommodate the specificities of data sources in a flexible manner.

Deadline : 2022-08-07

View details & Apply

 

(09) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Koopman operator modelling of non-linear dynamical systems for ensemble methods.

The goal of this project is to incorporate statistical learning tools in ensemble-based data assimilation methods for large scale dynamical systems from fluid mechanics and geophysical flows. Especially, it is to learn eigenfunctions of the Koopman operator restricted to a reproducing kernel Hilbert space (RKHS) transported by the dynamical system. This RKHS transported in time by the dynamical system constitutes a manifold sampled by the ensemble of trajectories, in which efficient estimations can be performed. This manifold has so nice mathematical properties, that it is given the nickname of “Wonderland”.

Deadline : 2022-08-01

View details & Apply

 

(10) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Détection d’anomalies pour l’inspection à grand rendement des ouvrages

Le sujet concerne l’inspection des ouvrages d’art : ponts, tunnels, barrages, murs de soutènement : il est important de pouvoir les ausculter de manière non invasive afin d’effectuer régulièrement un diagnostic de leur « état de santé ». L’impact socio-économique des inspections (immobilisation des ouvrages, gêne au trafic routier) doit être réduit.

Deadline : 2022-07-31

View details & Apply

 

Connect with Us for Latest Job updates 

Telegram Group

Facebook

Twitter

(11) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Étude du problème de la réduction de dettes mutuelles entre entreprises

La réduction des dettes mutuelles entre entreprises est un enjeu macroéconomique majeur, tout particulièrement pressant dans les phases descendantes du cycle économique, où les liquidités peuvent manquer à certaines entreprises et conduire à des faillites en chaîne (effet domino). L’idée du projet est de nous intéresser aux réseaux de paiement entre entreprises pour réduire la dette qu’ils contiennent. Nous modélisons le problème par un graphe dont les sommets représentent des entreprises et les arcs représentent des factures émises pendant un laps de temps donné (par exemple un mois). Comme ces factures sont généralement payées avec un certain délai (trois mois en moyenne en zone euro) les dettes qu’elles représentent peuvent être réduites par compensation multilatérale, c’est-à-dire que l’on supprime les dettes communes d’un ensemble d’acteurs et que l’on compense les restes dus à l’aide d’un acteur extérieur. Cela est particulièrement clair dans le cas où ces dettes forment un cycle et mais ces compensations multilatérales peuvent également être appliquées dans le cas de chaînes, de structures arborescentes, etc. Ce système vise donc à diminuer le besoin de liquidités des entreprises et pourrait avoir des effets bénéfiques sur les échanges à l’intérieur d’un groupe d’acteurs économiques fortement reliés. Nous souhaitons concevoir des algorithmes innovants pour réaliser une réduction de dettes mutuelles sur graphes de paiement réels fournis par un opérateur de facturation électronique. Nous disposons de jeux de données qui regroupent plusieurs millions d’échanges réalisés par des entreprises en Italie en 2019 et 2020.

Deadline : 2022-07-31

View details & Apply

 

(12) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M PhD Thesis – Optimal urban mobility network design for sustainable space sharing between vehicles and soft transport modes

Nowadays, we are witnessing a rapid spread of multimodal mobility in our cities and a willingness on the part of communities to promote new mobility behaviors. These changes are causing road networks to evolve and grow with modifications that are often far from being optimally designed, and public authorities are beginning to investigate how to integrate new paths and roads for the new soft transportation modes (bicycles, e-scooters, etc.). This is a very critical and relevant problem for cities and traffic authorities, which do not have updated nor easy-to-use tools to evaluate the impact of their network design decisions. In practice, several questions remain unanswered such as which road network structure is best suited to support new changes in its capacity, to ease space sharing, and eventually to sustain the replacement of certain roads in favor of soft-mobility dedicated lanes.

Deadline : 2022-07-31

View details & Apply

 

List of Top 25 Free Statistical Analysis Software

 

(13) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Stateful and distributed data stream processing

The data produced by the Internet of Things are often generated at the edge of the Internet in the form of data streams. Instead of always transferring them to the cloud to be processed there, a more efficient alternative exploits edge/fog computing technologies to process the data close to the location where they were created. This reduces the usage of long-distance networks and improves the response times. Data stream processing frameworks such as Apache Flink are well-suited for processing these data streams in real time. However, using these frameworks in geo-distributed environments such as edge/fog platforms incurs significant challenges.

Deadline : 2022-07-31

View details & Apply

 

(14) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Algorithmes efficaces pour les D-modules

L’objectif est de développer des algorithmes pour calculer avec des D-modules. Les D-modules forment un point de vue algébrique sur les équations aux dérivées partielles linéaires. Développer des algorithmes dans ce contexte permet donc de calculer avec des fonctions, et notamment de traiter des problèmes d’intégration. Les approches existantes sont limitées et beaucoup d’applications ne sont pas accessibles. Toutefois, le renouvellement de quelques unes des briques fondamentales de l’algorithmique des D-modules ouvrira de nouvelles perspectives.

Deadline : 2022-07-31

View details & Apply

 

(15) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Autonomous quantum error correction with cat-qubits

This PhD has for goal to explore new error correcting codes to suppress the phase-flip errors. Indeed, while a simple repetition code built of a 1D array of cat-qubits can handle such errors, this encoding suffers from one important drawbacks: The decoding process is a non-local mechanism (i.e. we require a global knowledge of all error syndrome measurements before taking any decision on the error correcting action). This strongly limits our capability of engineering autonomous error correction mechanisms where the errors are handled directly in hardware and by another controlling quantum system. Here, we propose to explore alternatives among more advanced codes for such biased noise qubits. 

Deadline : 2022-07-31

View details & Apply

 

(16) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M 3-year PhD position in Computational Models of Semantic Memory and its Acquisition

We invite applications for a 3-year PhD position at the University of Lille in the context of the recently funded research project “COMANCHE” (Computational Models of Lexical Meaning and Change). The position is funded by Inria, the French national research institute in Computer Science and Applied Mathematics. The position is affiliated with the MAGNET team at Inria, Lille [1] as well as with the SCALAB group at University of Lille [2] in an effort to strenghten collaborations between these two groups, and ultimatelyfoster cross-fertilizations between Natural Language Processing and Psycholinguistics.

Deadline : 2022-07-31

View details & Apply

 

Top 14 Best Citation Manager 2022

 

(17) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Modelling endocannabinoid-mediated synaptic plasticity and its implication in fast learning

The PhD will take place at the recently inaugurated Inria research center of Lyon, in France (campus de La Doua, https://www.inria.fr/en/centre-inria-de-lyon) under the supervision of Hugues Berry (http://www.inrialpes.fr/Berry/). In addition to interactions within his team, the intern is expected to build strong collaborative links with the Venance Lab at the Centre In- terdisciplinaire de Recherche en Biologie (CIRB), Collège de France, Paris, France.

Deadline : 2022-07-31

View details & Apply

 

(18) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Quantum optimal transport

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. A third site should be opened in the course of 2022. The teams are mainly hosted with our partners.  The centre’s teams work closely with research and higher education institutions (ENS de Lyon, UCBL, INSA Lyon, etc.), their laboratories, and other research organisations in Lyon (CNRS, INRAE, competitiveness clusters, etc.), but also with Lyon and regional economic players. Many international collaborations are also underway.

Deadline : 2022-07-17

View details & Apply

 

(19) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Data-driven anticipation for whole-body teleoperation of humanoids

The objective of this PhD is to design a whole-body teleoperation system that anticipates the motion of the operator. It will be demonstrated on the TALOS humanoid robot of Inria Nancy – Grand Est / LORIA, a full-sized, state-of-the-art humanoid robot. The PhD will combine two highly dynamic scientific fields:

Deadline : 2022-07-17

View details & Apply

 

(20) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Path planning algorithms for extrusion-based 3D printing technologies

The Ph.D. student will focus on the study of novel path planning algorithms for extrusion-based 3D printing technologies. In addition, the student will be fully involved in the experimental printing and testing of structures. Most of the conducted research will involve the accurate formulation of the path planning problem, the study and development of efficient and tailored algorithms, and the 3D printing and final verification of the printed structures.

Deadline : 2022-07-17

View details & Apply

 

(21) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Social and safe navigation of autonomous vehicles in erratic environment

The goal of the PhD is to propose social and safe navigation functions which can be used to control an autonomous and intelligent car where PPMP may follow erratic behaviors. The trajectories of the autonomous vehicle are expected to be safe and socially compliant and the decisions of the vehicle will be based on the estimated intentions of all agents of the scene. The idea is to associate a risk level to each intention by estimating its coherence with the traffic and social rules. We plan to explore MPC (Model Predictive Control) technique which is well known for considering physical characteristics of the systems. However, the nature of our problem pushes us to consider more advanced techniques to consider the uncertainty of observation and modelling. In this aim, the Phd will investigate the novel technique called MPPI (Model Predictive Path Integral) which has been introduced in 2016 [5-6] and extended to dynamic environment in [7-8]. MPPI is a Sample Based technique a bit different from Sample Based MPC.

Deadline : 2022-07-16

View details & Apply

 

(22) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Transparent privacy preserving AI

This PhD student position will be supported by the TIP project on Transparent artificial Intellgence preserving Privacy (a project jointly funded by I-Site, INRIA, U-Lille and MEL) and the EU-project Trumpet. This is a project in the MAGNET team (INRIA-Lille, https://team.inria.fr/magnet/). While this position will be in the MAGNET team in Lille, we will collaborate with users (e.g. medical research groups in CHU-Lille) for the validation and exploitation of the work.

Deadline : 2022-07-15

View details & Apply

 

(23) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Methods for big-data neuroimaging analyses

The ARAMIS team is devoted to the design of computational, mathematical and statistical approaches for the analysis of multimodal patient data, with an emphasis on neuroimaging data. The core methodological domains of our team are: machine learning, statistical modeling of complex geometric data, connectivity and network analysis. These new approaches are applied to clinical research in neurological diseases in collaboration with other teams of the ICM, clinical departments of the Pitié-Salpêtrière hospital and external partners. The team has a pluridisciplinary composition, bringing together researchers in mathematics, computer science and engineering.

Deadline : 2022-07-10

View details & Apply

 

(24) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Using Data Science to derive stochastic models for parallel applications scheduling

The main activities are those typical of a PhD. They include: literature reading, scientific development, programming and simulation, data processing, reporting and presentation, paper and thesis manuscript writing, collaboration with the team, the supervisors and other scientific partners, participation to conferences and workshops. Course-taking and teaching activities in accordance with doctoral school rules

Deadline : 2022-07-08

View details & Apply

 

(25) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M DIGital Tools for accompaniment for Sport for people with disabilities

The proposed PhD aims then to offer technological tools to improve performances of users of power wheelchairs: analysis of sessions, training aid, rehabilitation tools through sport. To this aim, we propose to design solutions compatible with the virtual reality power wheelchair simulator developed at INSA Rennes as part of the European Interreg ADAPT project. Simulators have already been proven to be efficient in the context of rehabilitation [2] [3] and we want to extend the study of the possibilities offered by these platforms to sport situations. Concretely, our project seeks to play virtual or acquired soccer game scenarios on the simulator for training and rehabilitation sessions. Thus, the idea is to be able to replay game sequences for the analysis and improvement of individual performances.

Deadline : 2022-07-03

View details & Apply

 

(26) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Exploring Human-AI Collaboration and Explainability for Sustainable ML

The 3-year doctoral position is funded by a European Union’s Horizon 2020 grant for SustainML: Application Aware, Life-Cycle Oriented Model-Hardware Co-Design Framework for Sustainable, Energy Efficient ML Systems. The chosen candidate will be supervised by Prof. Wendy Mackay and Dr. Janin Koch. The work will be in close collaboration with the DFKI (German Institute of Artificial Intelligence) and other partners.

Deadline : 2022-07-02

View details & Apply

 

(27) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Privacy-Preserving Federated Machine Learning

The PhD student will be supervised by Aurélien Bellet, an Inria researcher in the Magnet project-team. Magnet (https://team.inria.fr/magnet/) is a research team that carries out research in Machine Learning in Information Networks, with an important focus on Natural Language Processing, Machine Learning under Privacy and Fairness Constraints, and Decentralized/Federated Learning. More specifically, the PhD will be part of the research project PRIDE (https://project.inria.fr/pride/) funded by the French National Research Agency (ANR).

Deadline : 2022-07-02

View details & Apply

 

(28) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Markerless 3D localization of surgical tool in a per-operative context

Today, according to Global Market Insights, the orthopedic medical device (MD) market is growing rapidly and will be worth more than $22.4 billion by 2025. Joint replacement (hip, knee, extremities) represents nearly 37% of the market share. These devices include conventional ancillary instruments, custom-made guides, navigation systems, and robotic systems. More recently, augmented reality (AR) navigation systems have been developed. They are recognized for their accuracy, low cost, ease of use, as well as clinical added value. It is in this context that the ANR MARSurg project [2021-2025] aims to implement an innovative surgical navigation solution with high scientific, technological and clinical potentials.   

Deadline : 2022-07-01

View details & Apply

 

(29) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Time-guaranteed and reliable execution for safety-critical multicore systems

The goal of this PhD thesis is to provide the means to analyse both functional and timing behaviour of applications, perform fault-aware WCET estimation and design cores with timing guarantees and reliable execution. This will be achieved through novel approaches considering both reliability and WCET aspects. More precisely, a realistic and accurate functional and timing architectural vulnerability analysis will be proposed. This framework will be extended with probabilistic/hybrid WCET estimation techniques to provide fault-aware WCET estimations. Low-level fault-tolerant mechanisms will be designed to mitigate the most important impact of faults. The thesis will be based on open-source cores, e.g., RISC-V [7].

Deadline : 2022-06-30

View details & Apply

 

(30) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Mechanistic modeling of circulating DNA combined to machine learning for prediction of response and survival following immunotherapy

Early prediction of resistance to immunotherapy is a major challenge in oncology. The ongoing SChISM clinical study proposes an innovative approach based on patented cfDNA (circulating free DNA) quantification methods. Leveraging the longitudinal and quantitative aspect of this data (260 patients in total), we propose to develop mechanistic models of cfDNA joint kinetics with other longitudinal markers and tumor size imaging. Such models embedded within a statistical mixed-effects framework will be calibrated to the population data and subsequently provide individual parameters using Bayesian estimation. Subsequently, we aim to develop integrative machine learning models able to predict outcome (response, PFS and OS) from the combination of these dynamic parameters and other variables available at baseline.

Deadline : 2022-06-30

View details & Apply

 

(31) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Compositional verification of system program modules in Rust

Project RIOT-fp https://future-proof-iot.github.io/RIOT-fp is an Inria Challenge with the objective of developing future-proof operating system libraries for application to IoT: RIOT.  Our PhD project is interested in one of the futures of RIOT: RIOT-rs, implemented in Rust. This computing base provides access to a vast ecosystem of analysis, code generation, verification and proof tools. It offers us to rethink a system software validation process that would suit both system programming and verification requirements (as one may expect from using, e.g., a theorem prover).

Deadline : 2022-06-30

View details & Apply

 

(32) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Modeling 6DoF Navigation and the Impact of Low Vision in Immersive VR Contexts

This thesis focuses on the intermediate goal: the modeling and prediction of user behavior when navigating contextual environments. The greatest challenge of modeling human behavior is to represent its uncertainty given the wide difference in physiology, experience, and perception between individual users, and to provide interpretability for the predictions of these behaviors to allow human-in-the-loop intervention and usage of the prediction for decision makingWhen deploying predictive systems in real-world applications, being able to consider both uncertainty and interpretability requirements in machine learning models is therefore of high importance to personalize user experiences, and more generally for the security of its users.  

Deadline : 2022-06-30

View details & Apply

 

(33) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Automated Reasoning for Set Theory

The ANR project BLaSST aims at bridging combinatorial and symbolic techniques in automatic theorem proving, in particular for proof obligations arising from models written in the B formalism. Work will be carried out on SAT-based techniques as well as on more expressive SMT formalisms. In both cases, encoding techniques, optimized resolution techniques, model generation, and lemma suggestion will be considered. Combining both lines of work, the expected scientific impact is a substantially higher degree of automation of solvers for expressive input languages by leveraging higher-order reasoning and enumerative instantiation over finite domains. The effectiveness of the techniques developed in the project will be evaluated by applying them to benchmark sets provided by the industrial partner.

Deadline : 2022-06-30

View details & Apply

 

(34) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Socially-Aware Embodied Conversational Agents: Achieving Task and Social Goals in Human-Computer Conversation with students

The objective of this project is to build embodied conversational agents (also known as ECAs, or virtual humans, or chatbots, or multimodal dialogue systems) that have the ability to engage their users in both social and task talk, where the social talk serves to improve task performance. In order to achieve this objective, we model human-human conversation, and integrate the models into ECAs, and then evaluate their performance. This position is a 3-4 year doctoral contract.

Deadline :  2022-06-30

View details & Apply

 

(35) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Application Performance Management of Smart Field Devices for the industrial Internet of Things

This is an unique opportunity for you to complete your education with a PhD between the industrial powerhouse Siemens, and the leading research institute Inria. As a Siemens employee, you will be primarily based in Erlangen, Germany, which frequent visits to Inria in Paris, France. You will be co-supervised by Siemens and Inria, benefiting from the best of both world, and resulting in a highly sought after combination of stellar engineering and scientific excellence.

Deadline : 2022-06-30

View details & Apply

 

(36) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Compositional verification of system program modules in Rust

Project RIOT-fp [b] is an Inria Challenge with the objective of developing future-proof operating system libraries [1,2,4] for application to IoT: RIOT [a].  Our PhD project is interested in one of the futures of RIOT: RIOT-rs, implemented in Rust [c]. This computing base provides access to a vast ecosystem of analysis, code generation, verification and proof tools [d,e,f]. It offers us to rethink a system software validation process that would suit both system programming and verification requirements (as one may expect from using, e.g., a theorem prover).

Deadline : 2022-06-30

View details & Apply

 

(37) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Network economics analysis of energy-aware placement of resources

The European Union  is willing to design a trusted, best-in-class European-owned software platform for development, deployment and management of applications across the cloud-to-edge continuum, from central infrastructure to devices. It is important to deal with energy efficiency to reduce (or save) electricity consumption and CO2 emissions to limit global warming. It is typically true due to a massive expected of edge sites submitted to  power and heat constraints.

Deadline : 2022-06-30

View details & Apply

 

(38) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Formalization of Set Theory and Proof Checking

The ANR project ICSPA aims at improving confidence in the proofs carried out in the context of B, Event-B, and TLA+ by formally and independently verifying these proofs using an independent proof checker with a small trusted base. Moreover, given the similarity between the underlying mathematical theories of these methods, it aims at enabling sharing and reusing proofs and theories between B, Event-B, and TLA+. Both objectives rely on the use of a common logical framework, called the λΠ-calculus modulo theory and implemented in the system Dedukti, in which any formal proof system can be expressed.

Deadline : 2022-06-30

View details & Apply

 

(39) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Fine-grained, multimodal speech anonymization

This PhD is part of the “Personal data protection” project of PEPR Cybersécurité, which aims to advance privacy preservation technology for various application sectors. It will be co-supervised by Emmanuel Vincent and Marc Tommasi. The PhD student will have the opportunity to spend time in both the Multispeech and Magnet teams, to collaborate with 9 other research teams in France and with the French data protection authority CNIL, and to contribute to the project’s overall goals including the organization of an anonymization challenge.

Deadline :  2022-06-30

View details & Apply

 

(40) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Bot-driven audits of AI systems

AI-based decision-making systems are now in the wild, serving populations in most parts of their lives (robots, online curation such as recommendation, pricing or ranking algorithms, self-driving cars). These systems have demonstrated incredible performances recently [7]. The market of AI-based systems is awaited to worth $350Bn in the coming years. Yet this undeniable success is hampered by a growing number of AI and machine learning specific safety and fairness issues (adversarial examples, manipulation, algorithmic collusion, lack of explanability, the possibility of fairwashing [3]).The data that they collect to influence human decisions is itself an issue and managed by privacy laws and GDPR regulations.

Deadline : 2022-06-30

View details & Apply

 

(41) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Complexity analyses of game semantics

The PhD scholarship is funded by the Inria ‘Action Exploratoire’ CANofGAS, a research project led by Beniamino Accattoli and Guilhem Jaber. The selected PhD student will be part of the Partout Inria team at the Saclay center, where Accattoli is, but will also frequently visit the Inria Gallinette team in Nantes, of which Jaber is a member. There are also expected interactions with Delia Kesner and Claudia Faggian at the IRIF lab of the Université de Paris.

Deadline : 2022-06-29

View details & Apply

 

(42) PhD Degree – Fully Funded

PhD position summary/title: PhD Position F/M Design of haptic feedback using innovative shapeable materials

The aim of the Dornell project (Inria Challenge) is to propose an innovative multisensory, multimodal, smart haptic handle that can be easily plugged onto a wide range of mobility aids, including white canes, precanes, walkers, and power wheelchairs. Specifically fabricated to fit the needs of a person, it provides a wide set of ungrounded tactile sensations (e.g., pressure, skin stretch, vibrations) in a portable and plug-and-play format – bringing haptics in assistive technologies all at once. The project will address important scientific and technological challenges, including the study of multisensory actuation, the use of new materials for multimodal haptic feedback, and the development of a haptic rendering API to adapt the feedback to different assistive scenarios and user’s wishes. The DORNELL handle will be co-design with users and therapists, driving our development by their expectations and needs.

Deadline : 2022-06-28

View details & Apply

 

(43) PhD Degree – Fully Funded

PhD position summary/title: Doctorant F/H Protection d’Architectures Multi-coeurs hétérogènes basée sur une Intelligence Artificielle embarquée sur puce

Pour répondre aux exigences de nombreux domaines applicatifs (véhicules autonomes/intelligents, santé, domotique, industrie, télécommunication, etc.), les systèmes numériques qui embarquent l’exécution des applications doivent proposer de plus en plus de capacité de calcul. Depuis une vingtaine d’années, l’augmentation de cette capacité de calcul est principalement soutenue par l’accroissement du nombre ressources d’exécution au sein de ces systèmes. La conséquence directe de cette évolution a été le développement de systèmes sur puce complexes (SoC pour System on Chip) reposant sur des architectures multi-cœurs organisées sur la puce autour d’un medium d’interconnexion, classiquement un réseau sur puce (NoC pour Network on Chip).  

Deadline : 2022-06-25

View details & Apply

 

 

About  The National Institute for Research in Computer Science and Automation (Inria), France –Official Website

The National Institute for Research in Computer Science and Automation (Inria)  is a French national research institution focusing on computer science and applied mathematics. It was created under the name Institut de recherche en informatique et en automatique (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces), which is still used as Inria’s main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled Inria.

Inria is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry.

 

 

Disclaimer: We try to ensure that the information we post on VacancyEdu.com is accurate. However, despite our best efforts, some of the content may contain errors. You can trust us, but please conduct your own checks too.

 

Related Posts

 

Leave a Comment