3 software-verification-postdoc PhD research jobs at CNRS

Researcher (M/F) in the project Mathematicae Lingua Franca (Malinca)

CNRS | Nice, Provence Alpes Cote d Azur | France | about 13 hours ago

level in at least one of the following directions: mathematics including a good understanding of the foundations of a mathematical domain, programing applicable to the search and verification of proofs

Researcher in AI & HPC (M/F)

CNRS | Saint Aubin Routot, Haute Normandie | France | 12 days ago

-Performance Computing for Exascale" contributes to the design and development of numerical methods and software components that will equip future European Exascale and post-Exascale machines. This program is

CDD Astrophysics researcher - KM3NeT detectors (M/F)

CNRS | Marseille 09, Provence Alpes Cote d Azur | France | 10 days ago

analysis and software skills (python and astropy) • teamwork abilities • fluent in English • Experience in data analysis in a neutrino experiment and in astronomy analysis in X-ray/gamma-ray observatories