Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 19 hours ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 6 days ago
this thesis, we will focus on the models expressed by logics and data. These models are used in order to check different properties about these models in order to check that the models are correct and coherent
-
and graduate students each year, including many doctoral students, as well as postdoctoral researchers and visiting scientists. The laboratory covers a wider variety of topics than its name suggests and
-
/InstituteGrenoble INP UGACountryFranceGeofield Contact City Grenoble Website http://www.grenoble-inp.fr Street 46 avenue Félix Viallet Postal Code 38000 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp
-
number of techniques routinely used in the lab including histology, confocal microscopy and image processing. Prior expertise in cell culture, image analysis and coding would be highly appreciated. Part of