Sort by
Refine Your Search
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
interactions by exploiting spatial transcriptomics data and network-theoretic approaches. Contract start date: May 1st 2026 or later depending on your availability Activities : - design of a new mathematical
-
) nanosheets for low-pressure hydrogen storage applications. This position involves close collaboration with academic and industrial partners to design innovative nanomaterials and optimize their performance
-
activities between IETR and the French space agency CNES (https://cnes.fr ). This interdisciplinary project will be carried out at IETR – UMR CNRS 6164 (http://www.ietr.fr ) and it will strongly involve two
-
developed. The main objective of the project is to design and produce sustainable electrode materials and polymer-based electrolytes through efficient and scalable processes. The project involves three
-
sequencing data (see the book of Enno Ohlebusch, entitled "Bioinformatics Algorithms", 2013, available at: https://www.uni-ulm.de/in/theo/m/ohlebusch/ or the book "Genome-Scale Algorithm Design" by Makinen
-
will design an "all-in-one" chip capable of handling complete fluid management—including flow, mixing, and incubation—alongside integrated spectroscopic analysis. Your primary objective is to overcome
-
new insights in mechanism design, online auctions, and stochastic decision processes, where interdependence plays a crucial role. [1] Mauras, Simon, et al. "Optimal Stopping with Interdependent Values
-
team (https://research.pasteur.fr/en/team/machine-learning-for-integrative - genomics/) at Institut Pasteur, led by Laura Cantini, works at the interface of machine learning and biology (tools developed
-
financial support. Information about the institute, its members, and salient activities may be found on its site https://poincare.univ-lorraine.fr/fr/axes . The Poincaré Archives are recognized in France and