2 formal-semantics Postdoctoral positions at CNRS

Postdoctoral research in mathematical physics and string theory. M/F

CNRS | Paris 05, le de France | France | about 2 months ago

geometry, gauge theory, AdS/CFT) and proficiency in formal calculation tools (Mathematica, Maple, Sage, etc.) will be particularly appreciated. Website for additional job details https://emploi.cnrs.fr

Post-doc position: Factoring linear differential operators using p-adic techniques (M/F)

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

will be part of the MAX formal computation team at LIX (the computer‑science laboratory of École Polytechnique) and will benefit from a standard work environment. Where to apply Website https