Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
12 Feb 2025 Job Information Organisation/Company CNRS Department Géosciences Environnement Toulouse Research Field History Anthropology Environmental science Researcher Profile Recognised Researcher (R2) Country France Application Deadline 4 Mar 2025 - 23:59 (UTC) Type of Contract Temporary Job...
-
11 Feb 2025 Job Information Organisation/Company CNRS Department LIP6 Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher (R1) Country France
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago
15 Feb 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Mathematics Researcher Profile First Stage Researcher (R1
-
Event-B method [1] is a mathematical concepts-based approach to build correct-by-design discrete systems. It is supported by the RODIN platform that offers the possibility for plunging provers and model