2 bounded-variation 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 | about 19 hours 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 Position F/M Knowledge reasoning for managing Cloud Computing models

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 2 days ago

that have a size bounded by a fixed number. For this, it grounds the variables of the formula by a fixed set of values transforming the problem into a satisfiability problem of propositional logic which is