Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 4 days 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 | 9 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
-
available1Company/InstituteGRENOBLE INP- UGACountryFranceGeofield Contact City Grenoble Website http://www.grenoble-inp.fr Street 46 avenue Félix Viallet Postal Code 38000 E-Mail job-ref-waft5vlowa
-
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
-
. Their results will be convolved with advanced radiative codes to calculate fluxes and multi-messenger spectra. These simulations will also be supplemented by kinetic simulations of particle acceleration in
-
" (ARMS) code, running on high-performance computing centers. The simulation domain will consist of a restricted portion of the solar atmosphere. The doctoral student will have to explore the simulation
-
using 3D MHD numerical simulations with the ARMS code. For the first time, such a model will self-consistently generate induced jets in a realistic magnetic topological configuration, including polar
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | about 20 hours ago
Code 78153 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket Viadeo Gmail Weibo Blogger Qzone YahooMail
-
-bordeaux.fr Street 351 cours de la Libération Postal Code 33405 E-Mail multismart@u-bordeaux.fr STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket Viadeo Gmail