Sort by
Refine Your Search
-
Listed
-
Employer
- Nature Careers
- Inria, the French national research institute for the digital sciences
- CNRS
- CEA
- IMT Mines Ales
- IRIT, Université de Toulouse
- American University of Paris;
- IMT - Institut Mines-Télécom
- IMT MINES ALES
- IRISA
- Institut National Polytechnique de Toulouse
- Institut Neel
- Institut Pasteur
- Laboratoire National de Métrologie et d'Essais - LNE
- NIMES UNIVERSITE
- The American University of Paris
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université Grenoble Alpes
- 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 nationale des ponts et chaussées
- 17 more »
- « less
-
Field
-
: algorithms linking system specifications with the asset library, providing real-time, context-aware recommendations in modeling tools. Validation: industrial case studies to assess vulnerability reduction and
-
Inria, the French national research institute for the digital sciences | Pau, Aquitaine | France | about 1 month ago
in seismology. Advances in Geophysics. Warburton, T., & Hesthaven, J. S. (2008). Nodal discontinuous Galerkin methods: algorithms, analysis, and applications. Springer. Abdi, R., et al. (2021). GPU
-
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
-
algorithms for dynamic structured data, with a particular focus on time sequences of graphs, graph signals, and time sequences on groups and manifolds. Special emphasis will be placed on non-parametric
-
" 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
-
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
-
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
-
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
-
train robust machine learning (ML) algorithms without exchanging the actual data. The benefits of such a decentralized technology over personal and confidential data are multiple and already include some
-
Inria, the French national research institute for the digital sciences | Pau, Aquitaine | France | about 2 months 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