Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Stéphane Collin, the German team led by Stefan Glunz (University of Freiburg/Fraunhofer ISE), and the Swiss team led by Christophe Ballif (EPFL/CSEM). The postdoctoral researcher will have access
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
- Development of simulations to validate the relevance of models - Writing of scientific reports and international articles The postdoctoral researcher will be the key link in the partnership between CEFE and OFB
-
promotion of results in the form of technical reports, publications, and oral presentations. -The postdoctoral researcher will be assigned to the Institut Néel, a CNRS laboratory conducting fundamental
-
Phase Field). The postdoctoral researcher will join the METAL team at the MateIS laboratory and will work in close collaboration with the IM2NP laboratory in Marseille. Interactions with the partners
-
The postdoctoral researcher will be hosted at CEREGE, Technopôle de l'Arbois, Aix-en-Provence (Research and Teaching Center in Environmental Geosciences). CEREGE is a joint research center bringing together