Sort by
Refine Your Search
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 18 days ago
project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within
-
Professor Pierre Larrivée, the BREAKTHOUGH project will be running from 1 April 2026 to 30 September 2026. The aim of the project is to optimise semi-automatic annotation of historical texts in Romance
-
learning to automatically build models from experimental data while directly embedding physical and mathematical knowledge within the learning architecture. This hybrid approach produces more reliable models
-
to communicate in English (written and oral) • Experience with quantum measurements, microwave electronics, automatic tuning is mandatory Website for additional job details https://emploi.cnrs.fr/Offres/CDD
-
Inria, the French national research institute for the digital sciences | Talence, Aquitaine | France | about 2 months ago
, most automatic digital acquisition method possible and a real-time rendering method. This work will be carried out in conjunction with the Centre des monuments nationaux, and travel both sites and at
-
facilities and those of the LNE Trappes. Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR8255-SEBMER-006/Candidater.aspx Requirements Research FieldPhysicsEducation LevelPhD or equivalent
-
report to the team leader, and the project will be supervised by François-Didier Boyer. The laboratory is equipped with all the instruments necessary to carry out the project (HPLC, automatic flash
-
l'institut du thorax, INSERM, CNRS, Nantes Université | Nantes, Pays de la Loire | France | 2 months ago
are interested in exploring/characterizing the brain vascular tree, and more precisely, to characterize the brain arteries, classify the major cerebral bifurcations and automatically detect intracranial aneurysms
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 2 months ago
). For the second goal, we propose to build on the previously collected examples to characterize stages of tailoring tasks such as answering automatic suggestions from the system, navigating menus to find
-
for astronomical or mathematical reasoning within the astral sciences. Large-scale study of these materials requires fine-grained automatic analysis of their content, which is often disconnected from their visual