3 proof-checking-postdoc-computerscience uni jobs at CNRS

M/F CDD MeLiCa Sorption et incorporation du Li dans les minéraux carbonatés

CNRS | Toulouse, Midi Pyrenees | France | 3 months ago

geochemistry. Close collaboration with students and postdocs, with active participation in the dissemination of results (conferences and publications) Where to apply Website https://emploi.cnrs.fr/Candidat/Offre

Numerical approach of generalized flatness (M/F)

CNRS | Palaiseau, le de France | France | 3 months ago

large, starting with proofs of convergence. One may also consider the possible unicity of this generalized flat parametrization. Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR7161-GOVVAN

Computing transseries solutions to differential equations (M/F)

CNRS | Palaiseau, le de France | France | 3 months ago

this kind of representation, how to check equalities like s(z)^2 + c(z)^2 = 1? Clearly, it suffices to have an algorithm for checking whether a given expression represent the zero function. When all power