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é
- IRIT, Université de Toulouse
- Université Savoie Mont Blanc
- École nationale des ponts et chaussées
- American University of Paris;
- CEA
- Ecole Centrale de Lyon
- FRANCE ENERGIES MARINES
- IMT MINES ALES
- IRISA
- Institut National Polytechnique de Toulouse
- Institut Neel
- Institut Pasteur
- 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
- UNIVERSITY OF VIENNA
- Universite de Montpellier
- Université Grenoble Alpes, laboratoire TIMC, équipe GMCAO
- Université Toulouse III Paul Sabatier
- Université d'Orléans
- Université de Bordeaux / University of Bordeaux
- 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
- École Normale Supéireure
- 27 more »
- « less
-
Field
-
patterns. Ensure consistency and correctness through formal verification [7] (e.g., Event-B, Rodin). Interactive Security Assistance Develop algorithms to analyse system specifications and models, mapping
-
" setting [4], where the benchmark is the optimal online algorithm rather than the expected maximum, making the competition more dynamic. - Study settings where multiple items are allocated to buyers, such as
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 1 month ago
, located at Inria Paris and École Normale Supérieure (ENS). The team conducts research in various aspects of quantum information theory, including quantum error correction, quantum algorithms, and the
-
on their expertise, successful candidates may be asked to teach: Introductory programming classes Core undergraduate CS classes such as: Human Computer Interaction, Database Applications, Algorithms and Data
-
techniques and the structure of bilevel problems in large-scale settings. Objectives The goal of this postdoctoral project is to develop scalable blackbox optimization algorithms tailored to bilevel problems
-
Inria, the French national research institute for the digital sciences | Pau, Aquitaine | France | 22 days ago
methods: algorithms, analysis, and applications. Springer. Abdi, R., et al. (2021). GPU-accelerated spectral-element method for seismic wave propagation. Computers & Geosciences. Where to apply Website
-
control and energy management strategies, including centralized / distributed control approaches, for ESS coordination and ancillary service delivery. Develop optimization algorithms and Al-based methods
-
of synoptic processes can be isolated from those driven by surface conditions. Thanks to advances in ground-based remote sensing technology and algorithm development, those profile observations can now be
-
-criteria, defining their formalization as fuzzy subsets, and characterizing their uncertainty; Integrating Machine Learning algorithms to better account for low-level sensor data (precipitation, wind-driven
-
on stochastic Riemannian optimization algorithms, these methods still suffer from limitations in computational complexity. The post-doctoral fellow will build upon this preliminary work to investigate