4 software-formal-method-phd Postdoctoral positions in France

Postdoctoral Researcher in Social Sciences

Nature Careers | Bouy Luxembourg, Champagne Ardenne | France | 21 days ago

desirable Good knowledge of the Luxembourgish social sector as well as the structures of non-formal education in Luxembourg is an asset Proficient in data processing and analysis software (e.g., Atlas.ti

Postdoctoral Researcher in Social Sciences

Nature Careers | Bouy Luxembourg, Champagne Ardenne | France | 3 months ago

transition of quality advisors in the non-formal education sector towards their new exclusive role as quality facilitators. The objectives are to systematically document and analyse organisational and

Post-doctoral fellow in wireless networks and system modeling - 24 months contract

Télécom Paris | Palaiseau, le de France | France | about 1 month ago

complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security

Post-doctoral researcher in deep learning to predict the distribution of marine biological communities using their spatial and temporal context (M/F)

CNRS | Villefranche sur Mer, Provence Alpes Cote d Azur | France | 2 months ago

observations. Formally, this means that the output is multivariate (from 10 to 600 groups) and that the input has up to four dimensions (latitude, longitude, depth, time) for each variable (and there are over a