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

Postdoc in Real-Time Computational Biomechanics

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

, suitable for deployment on ARSPECTRA devices. You will work at the interface between finite-element modelling, software engineering and embedded/edge computing. Key Responasbilities: Develop and optimise

Postdoctoral fellow in Science Education and well-being psychology (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | about 1 month ago

engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing

Two-year post-doctoral position in climate, wildfire, forests, and people (funded by Amidex)

Aix-Marseille Université | Marseille, Provence Alpes Cote d Azur | France | about 1 month ago

Description RESEARCHER PROFILE: Postdoc/R2: PhD holders RESEARCH FIELD(S)1: Environmental Science MAIN SUB RESEARCH FIELD OR DISCIPLINES1: Biological sciences, geography JOB /OFFER DESCRIPTION The ClimatFeux

Post-Doctoral Candidate SAACD Project - Complex Autonomous and Self-Adaptive Defence Systems

IMT Mines Ales | Ales, Languedoc Roussillon | France | about 2 months ago

, etc.). Robust AI (knowledge of methods for quantifying uncertainty in deep learning or formal verification methods applied to deep learning) Embedded AI Reinforcement learning, supervised and