Postdoctoral Researcher in Formal Methods for Games

Research Position Context The Formal Verification team at INRIA is seeking a postdoctoral researcher to work on formal methods for real-time systems. Project Overview We are looking for a researcher with a strong background in formal verification and a strong publication record to work on a project involving formal verification and testing of real-time...

Research Opportunity at INRIAThe research group at INRIA belongs to a joint research center with CNRS and Université de Rennes.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and automata...

Postdoctoral Researcher Opportunity INRIA is seeking a highly motivated postdoctoral researcher to join its Odyssey team, working on the ERC project STUOD. The successful candidate will contribute to the development of stochastic models for ocean dynamics, with a focus on small-scale processes and wave-current interactions. About the Project The...

Job Context and Qualifications The Inria Odyssey team is seeking a postdoctoral researcher to work on stochastic modelling of oceanic flow for an 18-month term within the ERC Stuod project. The successful candidate will join a team of researchers from Inria, Ifremer, and IMT Atlantique, focusing on mathematical and numerical modelling of ocean flows,...

Context and Advantages of the PositionThis postdoctoral research visit is part of a research project on the design and formal analysis of algorithms for fundamental distributed problems, on dynamically evolving networks and/or with dynamically evolving data.Main ActivitiesThe position involves the development of appropriate distributed models for such...

Company OverviewInria is a French joint research center that brings together experts from Inria, CNRS, and Université de Rennes to push the boundaries of formal methods.Salary and BenefitsWe offer a competitive salary of €2788 per month. Our benefits package includes subsidized meals, partial reimbursement of public transport costs, possibility of...

Research Position in Ocean ModellingThe Odyssey team at INRIA is offering a postdoctoral research position in ocean modelling within the ERC Stuod project. The successful candidate will work on stochastic representation of ocean dynamics, focusing on small-scale dynamics and wave-current interaction.Context and ObjectivesThe team aims to improve our...

Context and Benefits of the PositionThis postdoctoral research position is part of a research project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and data.Mission and ExpectationsThe successful candidate will work under the supervision of George Giakkoupis to develop distributed...

About the ProjectMETA-TOO is a European project that aims to investigate gender-based inappropriate social interactions in the Metaverse. This PhD position is placed at the intersection of VR/AR uptake, social, behavioral, and technological research. The project tackles the urgent matter of abusive behavior within the virtual space, facilitating...

About the ProjectINRIA is a French national research institute for digital science and technology. This research center for scientific excellence is on the frontline of digital transformation in Europe and conducts a world-class research covering a wide range of high-impact scientific disciplines.The ANR-JCJC Archi-Noise project aims to unveil disruptive...

About the PositionContexte et atouts du posteWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and work under the supervision of George Giakkoupis.Mission confiéeThe successful candidate will contribute to a research project focused on designing and analyzing algorithms for distributed problems in dynamically evolving...

Rechercheur postdoctoral L'objectif principal de ce poste est de développer des algorithmes distribués pour résoudre des problèmes fondamentaux sur des réseaux dynamiques et / ou avec des données dynamiques.Compétences requisesLe candidat doit avoir une solide connaissance de la théorie des systèmes distribués et de l'algorithmique...

**Job Overview**We are seeking a highly motivated Deep Learning Researcher to join our team at INRIA. The successful candidate will be part of an exciting project focused on incremental deep learning for embedded systems.**About the Project**In this project, we aim to design new incremental machine learning algorithms that can run on embedded systems with...

Scientific Context INRIA, the French national research institute for digital science and technology, is seeking a highly motivated PhD candidate to join our team in the field of lattice dynamics and noise control. The successful candidate will work on the ANR-JCJC Archi-Noise project, which aims to develop novel metamaterials for noise and vibration...

Job Description:We are seeking a highly motivated PhD researcher to join our team at INRIA Rennes - Bretagne Atlantique Centre. As a PhD researcher, you will be working on a project focused on low-precision arithmetic for continual learning tasks on edge devices.Project Overview:While machine learning models have achieved impressive results in recent years...

PhD Researcher in High-Content Multiplex FRET BiosensorsWe are seeking a highly motivated PhD researcher to join our team at the Institute of Genetics and Development of Rennes (IGDR) in France. The successful candidate will work on a fully-funded PhD project to develop and apply high-content multiplex FRET biosensors to monitor mitochondrial functions in...

About the ProjectInria's Archi-Noise project aims to develop innovative concepts of architected materials for noise and vibration control. This research project leverages a cutting-edge computational framework to design novel metamaterials with enhanced low-frequency noise and vibration mitigation capabilities.Job ResponsibilitiesConduct high-level...

Research OpportunityThe INRIA is seeking a highly motivated and skilled PhD candidate to work on a research project focused on incremental deep learning for embedded systems. The project aims to design and develop resource-efficient algorithms for edge AI, enabling the deployment of AI models on resource-constrained devices. The successful candidate will...

Company OverviewInria, a French national research institute for digital science and technology, is at the forefront of digital transformation in Europe. With a wide range of high-impact scientific disciplines, including international and industrial collaborations, ground-breaking research, software development, artificial intelligence (AI), and technological...

PhD Researcher PositionThe Inria Rennes - Bretagne Atlantique Centre is seeking a highly motivated PhD researcher to investigate the performance impact of using low-precision arithmetic in the context of training and deploying continual learning systems on edge devices.About the ProjectThe goal of this thesis is to explore the use of low-precision arithmetic...