Post-Doctoral Research Visit F/M Post-doc position in Games for verification
il y a 2 semaines
Position Context and Strengths
The DEVINE research group is part of a collaborative research center involving Inria, CNRS, and Université de Rennes.
Assigned Mission
We are seeking to recruit a post-doctoral candidate for a 14-month position focusing on formal methods at Inria, Université de Rennes.
The project the candidate will be involved in centers around solving parameterized games using antichains. The selected individual will collaborate with the team members of the ANR BisoUS project.
Main Activities
The chosen candidate will be tasked with formalizing an antichain framework for parameterized games, as well as designing and implementing resolution algorithms for these games based on antichains.
Benefits
- Subsidized meals
- Partial reimbursement of public transport expenses
- Possibility of telecommuting for up to 90 days per year and flexible work hours
- Partial coverage of insurance costs
Remuneration
Monthly gross salary of 2788 euros.
-
Phd Position F/m Doctoral Position On Lattice
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_**Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:Doctorant**A propos du centre ou de la direction fonctionnelle**:The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and...
-
Engineer Position Avatars For Virtual Reality H/F
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinLe descriptif de l'offre ci-dessous est en AnglaisType de contrat :CDDNiveau de diplôme exigé : Bac +5 ou équivalentAutre diplôme apprécié : PhDFonction : Ingénieur scientifique contractuelA propos du centre ou de la direction fonctionnelleThe Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research...
-
Post doc
Il y a 3 mois
Rennes, Bretagne, France Orange Sa Temps pleinVotre rôle est d'effectuer un travail de Post doc sur : " la synchronisation de systèmes de jumeaux numériques " qui, au sein d'une équipe commune Orange-INRIA, contribuera au projet collaboratif " 5GMetaverse4Industry " financé par la BPI.Contexte global et problématique du sujetLe projet 5GMetaverse a l'ambition de préparer et promouvoir la 5G aux...
-
AI/ML, Wireless Systems Research Engineer
il y a 2 semaines
Rennes, Bretagne, France InterDigital, Inc. Temps pleinAI/ML, Wireless Systems Research Engineer page is loaded AI/ML, Wireless Systems Research Engineer Apply posted on Posted 20 Days Ago job requisition id REQ23-814 About InterDigitalInterDigital develops fundamental wireless technologies that are at the core of mobile devices, networks, and services worldwide. We are committed in shaping the future of...
-
Phd Position F/m Robust and Agile Transportation of
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Type de contrat :CDDNiveau de diplôme exigé :Bac + 5 ou équivalentFonction :DoctorantA propos du centre ou de la direction fonctionnelle:The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the...
-
Researcher in the field of Power Electronics
il y a 2 semaines
Rennes, Bretagne, France Mitsubishi Electric R&D Centre Europe - France Temps pleinContext and description: MITSUBISHI ELECTRIC is one of the leading manufacturers of power electronics related products from components such as semiconductor power devices to systems such as HVDC systems. As MITSUBISHI ELECTRIC Group's subsidiary, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a research division specialised in Power Electronics, in...
-
PhD Position F/M Incremental Deep Learning for Embedded Systems
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinContexte et atouts du poste Context This PhD will occur in the context of the project Adapting ( from the PEPR AI ( This project focuses on designing adaptive embedded hardware architectures for AI. In this context, our team wants to design new incremental machine learning algorithms that could serve as use cases in the Adapting project for other...
-
Research Engineer H/F
il y a 2 semaines
Rennes, Bretagne, France InterDigital, Inc. Temps pleinInterDigital develops fundamental wireless technologies that are at the core of mobile devices, networks, and services worldwide. The role associated to this position is to contribute to the design and standardization of advanced radio techniques for future 3GPP wireless technologies, including the evolution of 5G-Advanced New Radio (NR) and 6G. The ideal...
-
Phd Position F/m Novel Computational Methods for
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Type de contrat :CDDNiveau de diplôme exigé :Bac + 5 ou équivalentFonction :DoctorantA propos du centre ou de la direction fonctionnelle:The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the...
-
PhD Position at IETR
il y a 2 semaines
Rennes, Bretagne, France INSA RENNES Temps pleinAbout usINSA Rennes, a founding member of the INSA Group, is the largest public engineering school in Brittany.It welcomes 2,200 students and apprentices and graduates more than 340 engineers, 60 masters and 40 PhDs per year.Composed of 10 teaching departments, including 7 specialties and an apprenticeship program, and supervised by 6 research laboratories,...
-
Phd Position F/m Reliability and Security of Large
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Type de contrat :CDDNiveau de diplôme exigé :Bac + 5 ou équivalentFonction :DoctorantA propos du centre ou de la direction fonctionnelleThe Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and recognized player...
-
Phd Position F/m Reliability and Security of Large
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_**Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:Doctorant**A propos du centre ou de la direction fonctionnelle**:The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and...
-
R&D Engineer in Physic and Chemistry, PhD
il y a 2 semaines
Rennes, Bretagne, France Sweetch Energy Temps pleinAbout usSweetch Energy is a renewable energy player specialising in osmotic energy, committed to a carbon neutral world. Based in Rennes, our journey started in 2015 and we are proud to build a net zero future by exploiting a massively available, yet untapped, natural source of energy: osmotic power.Thanks to our INOD technology, osmotic power will become a...
-
Senior Research Associate
il y a 2 semaines
Rennes, Bretagne, France Corteva Temps pleinDescription: RESPONSIBILITIES INCLUDE:For the Evaluation Zone Support Prepare files needed to Advancement meetings. Keep hybrid data integrity according with Company rules. Assist with development and implementation of business rules as appropriate. Supervise assigned projects. Perform administrative tasks related to estimation of demand and management of...
-
Agent d'entretien
il y a 2 semaines
Rennes, Bretagne, France INSA RENNES Temps pleinAbout usINSA Rennes is the largest public engineering school in Brittany. It welcomes 2200 students and apprentices, with over 340 engineers, 60 masters, and 40 doctoral graduates per year. The institution employs approximately 540 public servants (researchers, teachers, library staff, engineers, administrative, technical, social, and health personnel),...
-
Synthesis of Functionalized Lipids for Drug Delivery
il y a 2 semaines
Rennes, Bretagne, France Ecole Nationale Supérieure de Chimie de Rennes - UMR CNRS 6226 Temps pleinSite web:Poste et missions:Mobilité géographique: EuropéenneTélétravail: OccasionnelPrise de fonction: 02/10/2023Profil:Applicants must have obtained a PhD in organic chemistry and have skills/knowledge in NMR analysis, chemistry of lipids and possible in formulation of nanoparticles for drug delivery. Moreover, the ability to work as part of french and...
-
Téléconseiller (H/F)
il y a 2 semaines
Rennes, Bretagne, France Check & Visit Temps plein**Qui sommes-nous ?**Check & Visit est la première solution d'état des lieux certifié. Simple, flexible et certifiée, elle permet à tous les bailleurs de gagner du temps, de l'argent et d'obtenir des états des lieux certifiés RGS* les rendant incontestables.Mais chez Check & Visit, nous ne souhaitons pas nous arrêter là Nous voulons aller encore...
-
des métiers de l'image et du son
il y a 2 semaines
Rennes, Bretagne, France Université Rennes 2 Temps pleinAbout UsOur Values:Choosing to work at Rennes 2 means working together towards a common goal: supporting students in their educational projects while contributing to innovative research.With its 1500 staff and 21000 students, Rennes 2 also offers a rich cultural and social life, an active student community, and dedicated professionals.Working at our...
-
Commercial Sédentaire Senior
il y a 2 semaines
Rennes, Bretagne, France Check & Visit Temps plein**Qui sommes-nous ?**Check & Visit est la première solution d'état des lieux certifié. Simple, flexible et certifiée, elle permet à tous les bailleurs de gagner du temps, de l'argent et d'obtenir des états des lieux certifiés RGS* les rendant incontestables.Mais chez Check & Visit, nous ne souhaitons pas nous arrêter là Nous voulons aller encore...
-
Business Developer
il y a 2 semaines
Rennes, Bretagne, France Check & Visit Temps plein**Qui sommes-nous ?**Check & Visit est la première solution d'état des lieux certifié. Simple, flexible et certifiée, elle permet à tous les bailleurs de gagner du temps, de l'argent et d'obtenir des états des lieux certifiés RGS* les rendant incontestables.Mais chez Check & Visit, nous ne souhaitons pas nous arrêter là Nous voulons aller encore...