20 structures-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" "UCL" positions at Inria, the French national research institute for the digital sciences
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 9 days ago
algorithms, and to publish these results in research papers. bibliographic work algorithm design and their theoretical analysis numerical simulations writing scientific papers Where to apply Website https
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago
Tollitte Changing Data Representation within the Coq System, Nicolas Magaud Changing Data Structures in Type Theory:A Study of Natural Numbers, Nicolas Magaud and Yves Bertot Where to apply Website https
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months ago
the Sierra project team (https://www.di.ens.fr/sierra/ ) within the Inria Paris (https://www.inria.fr/en/inria-paris-centre ) to work under the supervision of Adrien Taylor and Aymeric Dieuleveut (http
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago
that defines the tree structure, whether it concerns the variable ordering or the order in which values are explored within domains. The choice of these parameters in solvers remains largely empirical and
-
Inria, the French national research institute for the digital sciences | Palaiseau, le de France | France | about 1 month ago
between the device-dependent and the device-independent scenario, and (iv) developing its applications in communication, computation, and security tasks Where to apply Website https://jobs.inria.fr/public
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | about 1 month ago
for the physical characterization of planetary surfaces., in: European Planetary Science Congress. pp. EPSC2024-535. https://doi.org/10.5194/epsc2024-535 Haggstrom, P.L.C. Rodrigues, G. Oudoumanessah, F. Forbes, U
-
Inria, the French national research institute for the digital sciences | Talence, Aquitaine | France | about 2 months ago
project (http://www.numpex.fr ) endowed with more than 40 million euros over 6 years from 2023, to build a software stack for Exascale supercomputers related to the arrival in Europe of the first Exascale
-
Inria, the French national research institute for the digital sciences | Rennes, Bretagne | France | about 2 months ago
support services. The hired engineer will be a member of the KerData Inria team (https://team.inria.fr/kerdata/ ) led by Gabriel Antoniu. KerData is a joint research team of Inria Rennes - Bretagne
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | about 2 months ago
/logical rules with neural networks to increase accuracy and explainability. Where to apply Website https://jobs.inria.fr/public/classic/en/offres/2026-09730 Requirements Skills/Qualifications PhD in neuro
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 2 months ago
for the research and practitioner community. Research Topics. Possible directions include (but are not limited to): - Design of new locally private mechanisms for high-dimensional or structured data that account for