Post doc Offres d'emploi - France
Post-Doctoral Research Visit F / M Post-doc in formal verification
INRIARennes, FR
Doc Controller H / F
ORALYS MARSEILLELyon, France- Offre sponsorisée
Oncology - Bioinformatics - Post-Doc (All Gender)
SanofiVitry-sur-Seine, Île-de-France, France
- Offre sponsorisée
Jeune Docteur - Post-Doc - CDI - RD IA
CYBERSHENParis, France
POST-DOC Deep Learning F / H
CSTBGrenoble (38 - St Martin d'Hères)
Post-doc position - Corrosion protection of water electrolyzer components F / H
Institut de la Corrosion Site de BrestBrest, France
Post-Doc cyber (F / H)
École normale supérieure - PSLRue d'Ulm, FR
Post-doctorat - Post-doc - Caractérisation microstructurale de matériaux énergétiques - H / F
CEAFrance, Centre-Val de Loire- Offre sponsorisée
Post-doc (H / F)
CNRSPARIS, Île-de-France
Post-Doc researcher in Polymer Synthesis
University PositionsPessac
INGéNIEUR.E DE RECHERCHE, POST-DOC - H / F
Vallée Sud Grand ParisAntony
Post-doc in quantum cryptanalysis
IACRBordeaux, Department of mathematics (IMB); Bordeaux, France
Post-doc. Modelling and data assimilation.
EU-MATHS-INToulouse, France
Post doc - Provable and Scalable Attestatation Framework F / M
Orange Business ServicesFrance - Cesson-Sévigné - Orange SA
DOC CONTROLLER H / F
Heliatec IngenierieSaint-Ouen-sur-Seine, France
Post Doc Integrated photonic for NV-based quantum sensing
Institut National des Sciences Appliquées de RennesRennes, France- Offre sponsorisée
Doc controller - 69 H / F (CDI)
ELIA GROUPEVaulx-en-Velin, Rhone, FrancePost-Doctoral Research Visit F / M Post-doc in formal verification
INRIARennes, FRContexte et atouts du poste
The research group belongs to a joint research center of Inria, CNRS, and Université de Rennes.
Mission confiée
We are looking to hire a post-doc for 12 months in the area of formal methods at Inria, Université de Rennes.
The research project will be about formal verification and testing of real-time systems using timed automata and techniques from game theory, reinforcement learning, temporal logics, automata learning etc.
More specifically, we will explore reinforcement learning techniques to develop black-box testing algorithms for timed automata.
We require from the candidate to have a strong background on theory of formal verification, a strong publication record, and if possible, experience or interest in implementing formal verification tools.
Principales activités
Some of the papers related to the mentioned projects are listed below :
Please apply on this website by sending a CV.
Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Possibility of teleworking (90 days per year) and flexible organization of working hours
- Partial payment of insurance costs
Rémunération
Monthly gross salary 2788€