Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
level in at least one of the following directions: mathematics including a good understanding of the foundations of a mathematical domain, programing applicable to the search and verification of proofs
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 6 days ago
distributed optimization with noisy communication channels, accurately study the selected algorithms, participate in the development and maintenance of the PEPit (https://pepit.readthedocs.io/ ) software
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
selectivity is already being studied in the laboratory using approaches based on the functionalization of sensitive membranes. Original contributions expected: Software approaches involving the development
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago
to research in computer science and mathematics. 400 R&D engineers support research scientists by developing software tools and platforms that help the research process and the experimentation. Spirals
-
-Performance Computing for Exascale" contributes to the design and development of numerical methods and software components that will equip future European Exascale and post-Exascale machines. This program is
-
, teamwork • Ability to respond to challenges • Dealing with confidentiality • Efficiency with office software /Behavioral skills : • Self-learning and interpersonal skills • Excellent communication skills
-
have excellent skills in analyzing human behavior and be proficient with experimental and data processing software (E-Prime, Matlab, R), statistical analyses including linear mixed-effects models, as
-
software; analysis of existing image databases and new datasets. - Selection and tagging of deep aggregates (ROV): protocols to be defined with the PhD student; participation in data acquisition. - Analysis
-
, various digital tools have emerged to address these needs: mobile apps, training software, and communication aids (Oussama et al., 2021; Phosanarack et al., 2025). Although promising, these technologies