Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- CNRS
- Nature Careers
- IMT Atlantique
- Inria, the French national research institute for the digital sciences
- CNRS - University of Lorraine
- DIM QuanTiP
- ESSEC Business School
- Ecole Normale Supérieure
- IFP Energies nouvelles (IFPEN)
- IMT - Institut Mines-Télécom
- INSA de LYON
- Institut Pasteur
- La Rochelle Université
- Mines Paris - PSL, Centre PERSEE
- Université de Lorraine
- 5 more »
- « less
-
Field
-
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
-
5 Feb 2025 Job Information Organisation/Company CNRS Department Laboratoire d'informatique en image et systèmes d'information Research Field Computer science Mathematics » Algorithms Researcher
-
28 Jan 2025 Job Information Organisation/Company La Rochelle Université Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country France Application Deadline 15 Mar 2025 - 20:00 (Europe/Paris) Type of Contract Temporary Job...
Searches related to mathematics
Enter an email to receive alerts for mathematics positions