Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
11 Feb 2025 Job Information Organisation/Company CNRS Department LIP6 Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher (R1) Country France
-
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
-
This research will employ advanced error correction techniques and machine learning-driven optimization to dynamically adapt multicast communication parameters in real-time. It will develop mathematical models
-
Inria, the French national research institute for the digital sciences | Lille, Nord Pas de Calais | France | 3 months ago
://jobs.inria.fr/public/classic/en/offres/2025-08662 Requirements Skills/Qualifications Skills/knowledge : combinatorial optimization, parallel computing, mathematical modelling, heuristic search algorithms, solid
-
organized in four poles: “Computer Mathematics”, “Data Analytics and Machine Learning”, “Efficient and Secure Communications”, “Modeling, Simulation and Learning” and “Proofs and Algorithms”. The Ph.D
-
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