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 | about 1 month 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
-
, including 180 permanent staff (researchers, professors, engineers, technicians, and administrative personnel) and around 180 non-permanent staff (PhD students, postdocs, and fixed-term contracts). Each year
-
PostDocs, and several Ph.D. students. More in general, research at LAAS-CNRS spans robotics, optimization, control, telecommunications, and nano-systems. The robotics department at LAAS-CNRS counts more than
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 2 months 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
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 2 months 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
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | 2 months ago
arithmetic cores for FPGAs). The team hosts 6 faculty, 6 PhD students, 3 postdocs, 2 engineer, and multiple research interns. Additional information can be found on team website: https://team.inria.fr/emeraude
-
-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
-
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
-
, teamwork • Ability to respond to challenges • Dealing with confidentiality • Efficiency with office software /Behavioral skills : • Self-learning and interpersonal skills • Excellent communication skills