Sort by
Refine Your Search
-
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
-
the fiber-fiber bonds mechanics using physical and chemical processing routes. The recruited postdoctoral researcher will contribute to this project. She/He will be in charge of (i) characterizing
-
), IRCER conducts research aimed at understanding and controlling processing routes for ceramics and surface treatments in order to develop materials and components with tailored properties. IMERYS S.A. is a
-
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
-
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
-
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
-
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
-
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