3 algebra-phd positions at CNRS

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

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

hold a PhD in computer science or mathematics, with computer algebra as a specialty. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UMR7161-GOVVAN-019/Default.aspx Work Location(s

Post-doc M/F "ERC MoCoS"

CNRS | Orsay, le de France | France | 2 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

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