2 software-formal-method-phd positions at CNRS

Researcher position in Computational Biology (M/F)

CNRS | La Valbonne, Rhone Alpes | France | about 1 month ago

people, including about 100 researchers and professors and about 80 PhD students. The SPARKS team (Scalable and Pervasive softwARe and Knowledge Systems) is the largest team at I3S with a staff of 104

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 | about 1 month 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