5 process-algebra Postdoctoral positions in France

Postdoctoral Position – Deep Learning models to predict phenotypes from genomics data (M/F)

CNRS | Montpellier, Languedoc Roussillon | France | 5 days ago

) python programming skills, 2) understanding of the mathematical foundations and principles of Machine Learning, Linear Algebra (vectorial and matricial operations, optimization), with a particular focus on

Post doctoral position in Numerical Analysis and Scientific Computing – ERC NEMESIS

Universite de Montpellier | Montpellier, Languedoc Roussillon | France | 2 months ago

: Analysis, Numerical Analysis, and Scientific Computing (ACSIOM), Didactics and Epistemology of Mathematics (DEMA), Probability and Statistics (EPS), and Geometry, Topology, and Algebra (GTA). - main mission

Post-Doctoral Research Visit F/M Justifying variants of the axiom of choice in type theory

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago

-negation, forcing, ...) has made a lot of progresses in the recent years. Further connections with algebra and geometry (category theory, homotopy theory, topos theory, sheaf theory, ...) have also emerged

Postdoctoral Researcher – Mixed-Effects Neural Networks for Genome Interpretation (M/F)

CNRS | Montpellier, Languedoc Roussillon | France | 3 months ago

) understanding of the mathematical foundations and principles of Machine Learning, Linear Algebra (vectorial and matricial operations, optimization), with a particular focus on Neural Networks, 3) problem solving

Post-Doctoral Research Visit F/M User Experience for formal proofs in practice

Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | about 2 months ago

, 2 (1), pp.41-62. ⟨inria-00628904⟩ Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi. Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi. FSCD 2020 - 5th International Conference on Formal