3 computar-algebra positions at CNRS

Post-doc M/F "ERC MoCoS"

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

Research Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Postdoctoral researcher in arithmetic geometry and/or algebraic K-theory

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

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

of special functions, and appear naturally in physics, but also, for example, in combinatorics (finite differential generating series) or in algebraic geometry (Picard‑Fuchs equations). A particularly

Doctorant en Vérification de protocoles avec opérateurs AC à l'aide de PROVERIF. (M/F)

CNRS | Rennes, Bretagne | France | 3 months ago

techniques to establish properties of complex distributed systems. In symbolic verification frameworks, system behaviours and data manipulations are represented as algebraic terms and analysed using automated