-
of definitions, theorems and proofs. We would like to apply this to make the use of computer formalisation practical and current for mathematical research writing. Where to apply Website https://emploi.cnrs.fr
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 20 days ago
Framework Programme? Not funded by a EU programme Reference Number 2025-09322 Is the Job related to staff position within a Research Infrastructure? No Offer Description Context. This PhD thesis is part of
-
laboratory team is likewise highly recognized for its research in computer vision and neuro-inspired artificial learning. Both teams have been collaborating for four years on projects at the interface between
-
collection of >6,000 isolates of the fungus present in the lab (and 20+ closely related species). Additionnally to computer analyses (which will represent the core of the project), the PhD student will
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | about 1 month ago
access to GRAME-CNCM (computer music center based in Lyon) facilities, fostering potential collaborations with artists, etc. References [1] Gregorio Giudici, Franco Caspe, Leonardo Gabrielli, Stefano
-
member. An office at CERAPS and a computer will be provided. The cost of commuting to and from job office can be covered in accordance with the rules in force at Lille University (75% of the urban
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
of employment) and flexible organization of working hours Professional equipment available (videoconferencing, loan of computer equipment, etc.) Social, cultural and sports events and activities Access
-
various disciplines: computer scientists, mathematicians, biologists, chemists, engineers, physicists and clinicians from more than 50 countries currently work at the LCSB. We excel because we are truly
-
various disciplines: computer scientists, mathematicians, biologists, chemists, engineers, physicists and clinicians from more than 50 countries currently work at the LCSB. We excel because we are truly
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description This PhD is part of the future JET2SB