PhD in Resource-Aware Quantum Lambda Calculi

Contexte et atouts du poste The PhD is funded by funded by PEPR EPiQ will be carried out at Inria Nancy Grand-Est within the Inria mocqua project team. Mission confiée Quantum programming languages with quantum control allow the execution flow of programs to depend onquantum data, enabling superpositions of computational paths, as exemplified by the Quantum...

Le descriptif de l'offre ci-dessous est en AnglaisType de contrat : CDDNiveau de diplôme exigé : Bac + 5 ou équivalentFonction : DoctorantContexte et atouts du posteThe PhD is funded by funded by PEPR EPiQ will be carried out at Inria Nancy Grand-Est within the Inria mocqua project team.Mission confiéeQuantum programming languages with quantum control...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Thèse ou équivalent **Fonction**: Post-Doctorant **Niveau d'expérience souhaité**: De 3 à 5 ans **Contexte et atouts du poste**: **This postdoc position is funded for two years by the grant from Programme Inria Quadrant (PIQ).** The main...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Doctorant **Contexte et atouts du poste**: The HUCEBOT team is a new team of the Center Inria at the University of Lorraine. The main robots of the team are the Tiago++ bimanual mobile manipulator, the Unitree G1...

Contexte et atouts du poste Context and funding: This position is funded by the PEPR AS3 project. Within this framework, the HUCEBOT team is developing multimodal strategies for online control and adaptation of dynamic legged robot platforms. This PhD project explores quality diversity optimization as an alternative to traditional reinforcement learning for...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Thèse ou équivalent **Fonction**: Ingénieur scientifique contractuel **Contexte et atouts du poste**: About Hivenet: Hivenet intends to play the role of a next generation cloud provider in the context of Web 3.0. Hivenet aims to exploit the...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Contrat renouvelable**: Oui **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Ingénieur scientifique contractuel **Niveau d'expérience souhaité**: De 3 à 5 ans **Contexte et atouts du poste**: **Motivation**: The main cryptographic tool for assessing...

A leading research institution in France is seeking a postdoctoral scholar to study igneous petrology and the kinetics of oceanic crust formation. The role involves quantifying cooling rates and analyzing plutonic rocks. Ideal candidates will have a PhD in Earth Sciences and strong interests in numerical models and diffusion chronometry. This position offers...

Contexte et atouts du poste We are seeking a Master’s intern or a PhD candidate to join our puffin [1] team and design Dolev‑Yao (DY) model‑guided fuzzing techniques [2] amenable to e‑voting protocols. Mission confiée First of all, the candidate will get familiar with formal DY models, fuzzing [2], as well as with the existing code base of SwissPost...

Doctorant F/H PhD Position: Beyond reinforcement learning for social adaptation The offer description be low is in French Level of qualifications required : Graduate degree or equivalent Fonction : PhD Position Context Context and funding:This position is funded by the PEPR AS3project.Within this framework, the HUCEBOT team is developing multimodal...