Sort by
Refine Your Search
-
Listed
-
Employer
- CNRS
- Nature Careers
- Inria, the French national research institute for the digital sciences
- Ecole Centrale de Nantes
- Institut Pasteur
- CEA
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Université Grenoble Alpes
- Aix-Marseille Université
- CentraleSupélec
- Fondation nationale des sciences politiques
- IMT - Institut Mines-Télécom
- INSERM Rhône Alpes
- Inserm / CNRS / Nantes University
- Institut Laue-Langevin
- Mines St Etienne
- Toulouse INP
- Télécom Paris
- UNIVERSITE ANGERS
- UNIVERSITY OF VIENNA
- Université Toulouse III Paul Sabatier
- Université de Lille - CRIStAL
- Université de Strasbourg
- Université de Toulouse
- ÉCOLE DE L'AIR ET DE L'ESPACE
- 15 more »
- « less
-
Field
-
, reinforcement learning, temporal logic, automata learning, etc. More specifically, we will explore reinforcement learning techniques to develop black-box testing algorithms for timed automata. We will explore
-
Deep Learning-type methods. The focus will be on geodesic methods, the search for paths of minimum length according to an adapted metric, imposing for example a penalization of the curvature. In addition
-
and meta-evaluate with case feedback Job specifications: The contract is 35H. Proficiency in computer languages: Python, Pytorch; proficiency in collaborative tools: Git Fluency in spoken, read and
-
- Resolution of the numerical instabilities identified by modifying the algorithms using a combination of computer/mathematical/physical solutions - Repetition of the sequence Identification/resolution
-
tools for operating equipment and processing and analyzing data. - Adherence to health and safety regulations in the field. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UPR3079
-
only Travel in France and abroad (in particular to the University of Paraíba), special assistance available in case of disability. Available resources: laptop computer for data processing, printer
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 2 months ago
children, moving home, etc.) Possibility of teleworking and flexible organization of working hours Professional equipment available (videoconferencing, loan of computer equipment, etc.) Social, cultural and
-
calculations in quantum field theory, in particular conformal field theory. Ability to write code for computer simulations of quantum many-body systems (in particular methods of exact diagonalization and density
-
6554 LETG-Rennes (http://letg.cnrs.fr/ ) Work environment: an office and a computer at disposal. This position is located in a sector covered by the protection of scientific and technical potential (PPST
-
. - Proficiency in the computer tools required for data processing, analysis, and simulations; - Ability to work in a team; - Effective communication of research results through oral and written presentations and