4 ic-verification PhD positions in France

PhD: Assessing the uncertainties of Antarctic ice sheet dynamics: a French contribution to the ISMIP7 intercomparison (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | 9 days ago

), and in Grenoble (IGE). The PhD candidate will be associated with the targeted ISClim project (Polar Ice Sheets in the Climate System – addressing high-end sea-level scenarios) of TRACCS (https://pepr

PhD in polymer material science for organic electronics (M/F)

CNRS | Strasbourg, Alsace | France | about 14 hours ago

? Horizon Europe Is the Job related to staff position within a Research Infrastructure? No Offer Description The Charles Sadron Institute (ICS, UPR22) is a CNRS unit associated with the University

PhD in organic electronics (M/F)

CNRS | Rennes, Bretagne | France | 4 days ago

for four years. The project involves multiple partners: • OTFT characterizations : L2n-URCA Reims (O. Simonetti) • Polymer synthesis: ICPEES Strasbourg (N. Leclerc) • Material deposition: ICS Strasbourg (M

PhD Position F/M Verifying Memory Safety of Linux Kernel Drivers

Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 7 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