Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- CNRS
- Nature Careers
- Inria, the French national research institute for the digital sciences
- Université Grenoble Alpes
- Aix-Marseille Université
- CEA
- IMT Mines Ales
- IRIT, Université de Toulouse
- Institut Pasteur
- Télécom Paris
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université Claude Bernard Lyon 1
- Université Savoie Mont Blanc
- Université de Bordeaux / University of Bordeaux
- École nationale des ponts et chaussées
- American University of Paris;
- CEA-Saclay
- Ecole Centrale de Lyon
- Ecole Normale Supérieure de Lyon
- FRANCE ENERGIES MARINES
- IMT - Atlantique
- IMT - Institut Mines-Télécom
- IMT MINES ALES
- IRISA
- Institut National Polytechnique de Toulouse
- Institut Neel
- Institut des Hautes Etudes Scientifiques
- Institut des Hautes Études Scientifiques
- Institut of Mathematics of Marseille
- LE STUDIUM LOIRE VALLEY INSTITUTE FOR ADVANCED STUDIES
- Laboratoire National de Métrologie et d'Essais - LNE
- Laboratoire de Physique des Interfaces et des Couches Minces (LPICM), UMR CNRS/École Polytechnique,
- NIMES UNIVERSITE
- Nantes Université
- The American University of Paris
- Télécom SudParis
- Universite de Montpellier
- Université Grenoble Alpes, laboratoire TIMC, équipe GMCAO
- Université Marie et Louis Pasteur
- Université Toulouse III Paul Sabatier
- Université d'Orléans
- Université de Caen Normandie
- Université de Lorraine
- Université de Montpellier
- Université de Pau et des Pays de l'Adour
- Université de Technologie de Belfort-Montbéliard
- Université de Toulouse
- université Strasbourg
- École Normale Supéireure
- 39 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 17 days ago
the tactic language and structure declaration mechanism of Rocq more flexible, easier to explore, but also more stable. The design and implementation of new algorithms in type theory might be required
-
analysis, as many observed phenomena cannot be adequately modeled by stationary processes. The NOMOS project aims to develop a new generation of nonstationary models and algorithms for analyzing various
-
23 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire lorrain de recherche en informatique et ses applications Research Field Computer science Mathematics » Algorithms
-
minimizing error and maximizing efficiency, is computationally challenging—no known polynomial-time algorithm exists to solve it optimally in all cases. Because of this complexity, researchers typically rely
-
components: - operational modal analysis to extract the modes of the probed medium, - algorithmic and experimental developments on the MSE method - and algorithmic and experimental developments on the MFP
-
activities (monitorship). - Participate in the supervision of trainees up to Master's level. Skills : - Mastery of the basic theoretical and algorithmic aspects of signal processing. - Proficiency in
-
compressed sensing et la capacité à optimiser des algorithmes pour des applications temps réel, qui seront également valoriséesThe candidate should have: - A strong background in applied mathematics, including
-
teams to contribute to the development of fundamental aspects of computer science (models, languages, methods, algorithms) and to develop synergy between the conceptual, technological and societal
-
evaluation of algorithms for: perception in robotics; sensor based control and navigation ; interactive mobile manipulation; multi-sensor data modelling and fusion. This job offer takes place within
-
learning, and generative AI Design and implement algorithms for quantum-inspired and quantum-enhanced generative models Investigate theoretical foundations of tensor networks, entanglement, and collapse