Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Lille, Nord Pas de Calais | France | 3 months ago
15 Feb 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Mathematics Researcher Profile First Stage
-
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
Searches related to discrete mathematics
Enter an email to receive alerts for discrete-mathematics positions