Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
automated reasoning tool based on a translation of verification problems into Horn clauses [5], together with a resolution procedure that is proven sound [1, 2]. While soundness is guaranteed, termination is
-
the growth of carbon chains. • Collaborate with astrochemists and observers to validate theoretical predictions. This position will focus on modeling dust production in supernova explosions, a key process for
-
implants (cannulas, sensors) using stereotaxy; design and refinement of behavioural tasks using the associated equipment; behavioural tasks in rodents; virus injections, collection and processing of in vivo
-
(ANR-25-CE51-3871), which started in January 2026. This project aims to develop and optimize a micrometer-scale surface texturing process based on thermochemical treatments performed using arrays of cold
-
The project is interdisciplinary, co-supervised by the GREYC and MODYCO laboratories, with support from the NIMH laboratory. It combines Natural Language Processing, linguistics, and cognitive psychology in
-
(between one and two weeks for each mission). A knowledge of various data processing techniques is essential, as is the ability to create reliable databases. Knowledge of the operation of an electrical grid
-
Science (Information and Signal Processing), Speech, and Cognition. The unit conducts its research through 11 teams organized into 4 research departments: - Automation and System Safety - Data Science
-
world. • Network & Collaborations: Your work will be supported by strategic collaborations with LabEx member laboratories (CEA-LETI, CROMA, TIMA, LMGP) for the development of processes, advanced metrology
-
of processing routes for advanced ceramics and surface treatments, with the aim of developing materials and components with tailored properties for demanding applications. SAFRAN is a leading French international
-
the development and operation of superconducting qubits. You will be working closely with PhD students and other postdoctoral researchers and will be able to benefit from the expertise developed there and