Emplois actuels liés à Research Fellow in Distributed Algorithms - Rennes, Bretagne - INRIA
-
Postdoctoral Researcher
il y a 1 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Project: Distributed Algorithms on Evolving DataWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and work on a research project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and data.Key Responsibilities:Develop distributed models for...
-
Postdoctoral Researcher
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Project: Distributed Algorithms on Evolving DataWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and work on a research project focused on the design and formal analysis of algorithms for fundamental distributed problems on dynamically evolving networks and data.Key Responsibilities:Develop distributed models for...
-
Postdoctoral Research Visit F/M Distributed Algorithms on Evolving Data
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Project: Distributed Algorithms on Evolving DataAs a postdoctoral researcher at INRIA, you will be part of a research project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and/or with dynamically evolving data.The project aims to develop appropriate distributed models for...
-
Postdoctoral Researcher
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Project OverviewThis 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.Key ResponsibilitiesThe successful candidate will work under the supervision of George Giakkoupis to develop distributed models for...
-
Postdoctoral Researcher
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Project OverviewThis postdoctoral research position is part of a project focused on designing and formally analyzing algorithms for fundamental distributed problems on dynamically evolving networks and data.Key ResponsibilitiesUnder the supervision of George Giakkoupis, the successful candidate will contribute to the development of distributed...
-
Postdoctoral Researcher
il y a 3 semaines
Rennes, Bretagne, France INRIA Temps pleinContext and Advantages of the PositionThis postdoctoral research position 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 successful candidate will be expected to develop appropriate distributed models...
-
Postdoctoral Research Associate
il y a 14 heures
Rennes, Bretagne, France INRIA Temps pleinContext 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...
-
Postdoctoral Research Visit F/M Distributed Algorithms on Evolving Data
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinContext 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...
-
Postdoctoral Researcher in Formal Verification
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearcher Position in Formal VerificationThe research group at INRIA is seeking a postdoctoral researcher to work on formal methods and formal verification of real-time systems. The successful candidate will have a strong background in theory of formal verification and a strong publication record.Key ResponsibilitiesConduct research on formal verification...
-
Postdoctoral Researcher in Formal Verification
il y a 3 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project ContextThe research group at INRIA, CNRS, and Université de Rennes is seeking a postdoctoral researcher to work on formal methods and formal verification.Research ProjectThe postdoctoral researcher will work on a project focused on formal verification and testing of real-time systems using timed automata and techniques from game...
-
Postdoctoral Researcher in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch OpportunityThe research group at INRIA is part of a joint research center with CNRS and Université de Rennes. We are seeking a postdoctoral researcher to work on formal methods, specifically formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and...
-
Postdoctoral Researcher in Formal Verification
il y a 4 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch Group and ContextThe research group is part of a joint research center of INRIA, CNRS, and Université de Rennes, offering a unique opportunity to collaborate with experts in formal methods and real-time systems.Research ProjectWe are seeking a postdoctoral researcher to work on formal verification and testing of real-time systems using timed...
-
Postdoctoral Researcher in Formal Verification
il y a 1 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Group and Project ContextThe research group at INRIA is a joint center with CNRS and Université de Rennes, focusing on formal methods and their applications.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...
-
PhD Researcher in Fault-Tolerant AI Hardware
il y a 2 semaines
Rennes, Bretagne, France Inria Temps pleinAbout the PhD Researcher PositionThe Inria Rennes - Bretagne Atlantique Centre is seeking a highly motivated PhD researcher to work on the impact of hardware faults on AI decisions and algorithms developed to explain AI models.The PhD researcher will be responsible for analyzing the possible failure mechanisms affecting the hardware, deriving the...
-
Postdoctoral Researcher in Formal Methods for Games
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinResearch Opportunity at INRIAThe DEVINE research group, a joint initiative of INRIA, CNRS, and Université de Rennes, is seeking a postdoctoral researcher to contribute to the resolution of parameterized games using antichains.Project OverviewThe recruited person will join an ongoing research project focused on developing and implementing resolution...
-
Researcher in Incremental Machine Learning for Edge AI
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinJob DescriptionContext and ObjectivesThis PhD position is part of the Adapting project, which focuses on designing adaptive embedded hardware architectures for AI. The goal is to develop new incremental machine learning algorithms that can serve as use cases in the Adapting project for other researchers who will focus on the hardware architecture design.Key...
-
Postdoctoral Researcher in Formal Methods for Games
Il y a 2 mois
Rennes, Bretagne, France INRIA Temps pleinAbout the PositionThe research group DEVINE at INRIA is seeking a postdoctoral researcher to join their team in the area of formal methods for games.Research ProjectThe successful candidate will work on the resolution of parameterized games using antichains, a research project funded by the ANR BisoUS grant.Key ResponsibilitiesDevelop and implement...
-
Engineer: Data placement and retrieval in erasure coded IPFS
il y a 3 semaines
Rennes, Bretagne, France Inria Temps pleinAbout the JobWe are seeking a highly skilled Engineer to join our team at Inria, a leading research institute in digital sciences. The successful candidate will be responsible for implementing existing Erasure coding families in Go and developing new data placement and retrieval strategies for erasure coded IPFS.Key ResponsibilitiesImplement several erasure...
-
Postdoctoral Researcher in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinResearch 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 in Formal Verification
il y a 2 semaines
Rennes, Bretagne, France INRIA Temps pleinJob Context and RequirementsThe research group at INRIA is seeking a postdoctoral researcher to work on formal methods and formal verification of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, and automata learning.Research ProjectThe research project will focus on developing black-box testing...
Research Fellow in Distributed Algorithms
Il y a 2 mois
INRIA seeks a highly motivated Research Fellow to contribute to cutting-edge research in distributed computing.
Under the guidance of renowned expert George Giakkoupis, you will delve into the fascinating world of designing and analyzing algorithms for distributed problems within dynamic networks and evolving data landscapes.
Your primary focus will be:
- Conducting rigorous research in theoretical and practical aspects of distributed computing.
- Presenting your groundbreaking findings at prestigious international conferences and workshops.
Ideal Candidate Profile:
We are looking for a talented individual with a strong foundation in the theory of distributed computing or dynamic graph algorithms.
Benefits of Joining INRIA:
As a valued member of our research team, you will enjoy an enriching and supportive environment:
- Competitive monthly gross salary of 2788 euros.
- Subsidized meals to enhance your well-being.
- Partial reimbursement for public transportation costs, easing your commute.
- Flexible working hours and the possibility of teleworking (90 days per year) to promote work-life balance.
- Partial payment of insurance costs, providing financial security.
