Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | 25 days 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
-
candidate will join the SIGNAL team under the supervision of Dr. Yoan Coudert. Research topic : The recruited postdoc will investigate the genetic mechanisms underlying the pre-patterning and development at a
-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago
this thesis, we will focus on the models expressed by logics and data. These models are used in order to check different properties about these models in order to check that the models are correct and coherent
-
Recognised Researcher (R2) Established Researcher (R3) Positions Postdoc Positions Country France Application Deadline 30 Apr 2026 - 23:59 (Europe/Paris) Type of Contract Temporary Job Status Full-time Offer
-
discored new Garside structures. The PhD student will try using these Garside structures to (re)prove the faithfulness of the Khovanov-Seidel representation, following a proof strategy used in spherical type
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 28 days ago
of DMA buffers). Identifying common unsafe patterns or assumptions in the use of kernel APIs. Exploring tools (e.g., static analysis, symbolic execution, model checking, formal specification) to verify
-
, technicians, and staff. Each year, many undergraduate and graduate students, PhD candidates, postdocs, and visiting scientists join its activities. Research at LPS covers a broad range of condensed matter
-
postdoc and one master student. The candidate should be able to communicate in English and have some training in molecular biology, cytology, basic bioinformatics. Where to apply Website https
-
-permanent staff (doctoral students, postdocs, associate researchers and interns). The ICS has characterization platforms (UV-Vis and IR spectroscopies, size exclusion chromatography, light scattering, etc