4 formal-verification Postdoctoral positions at CNRS

Postdoctoral fellow in knowledge representation for robotics (M/F)

CNRS | Toulouse, Midi Pyrenees | France | 7 days ago

of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution

Postdoc 360-degree vision for dynamic human-robot interaction M/F

CNRS | France | 2 days ago

, robot control, unconventional cameras, humanoid robotics  Skills: formalization of geometric and photometric image models, neural network training, software development, hardware installation, oral and

Postdoctoral Position (M/F): Designing Mixed Reality Environments for Memory Work

CNRS | Compiegne, Picardie | France | 2 days ago

primary school students' historical reasoning in non-formal settings. Interactive Learning Environments. Hageneuer, S. (2020). Communicating Past in the Digital Age. International Conference on Digital

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