Sort by
Refine Your Search
-
Listed
-
Employer
- Nature Careers
- Inria, the French national research institute for the digital sciences
- CNRS
- CEA
- IRIT, Université de Toulouse
- American University of Paris;
- IMT - Institut Mines-Télécom
- IMT MINES ALES
- IMT Mines Ales
- IRISA
- Institut National Polytechnique de Toulouse
- Institut Neel
- Laboratoire National de Métrologie et d'Essais - LNE
- NIMES UNIVERSITE
- The American University of Paris
- 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
- École nationale des ponts et chaussées
- 14 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
-
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
-
Inria, the French national research institute for the digital sciences | Pau, Aquitaine | France | about 1 month 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
-
work will be organized around the following areas: 1. Bee detection and tracking: Development of computer vision algorithms to identify and track each bee from high-resolution images, while
-
Université de Technologie de Belfort-Montbéliard | Belfort, Franche Comte | France | about 2 months ago
(formulation, algorithms, applications in structural mechanics), HPC computing, reduced-order modelling, machine learning, Vibrations and structural dynamics, architected materials, Additive manufacturing
-
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
-
. The monitoring of telecommunications and energy production and distribution networks are characteristic examples of such time-critical applications. The project aims to propose unsupervised online CPD algorithms
-
, sensor failures, or the aggregation of datasets from multiple sources. There is a rich literature on how to impute missing values, for example, considering the EM algorithm [Dempster et al., 1977], low
-
openness to interdisciplinary collaborations Expertise in some area of computer science such as computational complexity, algorithms, data structures, logic in computer science and AI, semantics, theory