Sort by
Refine Your Search
-
Project MAS: Model theory of algebraic structures. Main research topics: - Groups under generalized tameness assumptions. - Continuous logic and ergodic theory. - Algebraicity and transcendence in tame
-
the EU Research Framework Programme? Horizon Europe Reference Number 2026-R0023 Is the Job related to staff position within a Research Infrastructure? No Offer Description - work environment: The recruited
-
analysis, scientific computing, algebraic topology and non-linear analysis. The activities may include: The development of new polytopal numerical methods The conception of discrete complexes (de Rham and
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago
dependent type theory, imperative programming (control operators, memory assignment, exceptions, ...), classical axioms (excluded-middle, axiom of choice, extensionality), logical translations (double
-
) 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
-
candidate will work with the PI of the project (André Belotto da Silva) and with the Singularity Theory group at the IMJ-PRG. Research activities in the fields of Singularity Theory, Algebraic Geometry, and
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 28 days ago
meetings with participants from the other work packages of the Liberabaci project. Travel expenses are covered within the limits of the scale in force. Assignments With the help of people from the projects
-
) forms, Iwasawa theory, algebraic cycles, Shimura varieties, p-adic Hodge theory.. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UAR822-SOPRIB-008/Default.aspx Work Location(s