Sort by
Refine Your Search
-
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
-
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
-
motivated to acquire new skills. Candidates must be fluent in English and/or French with scientific writing skills. The doctoral contract will take place at the CRISMAT laboratory (https://crismat.cnrs.fr
-
) 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
-
PROJET-PEPR : MOF composites for the overall CO₂ reduction through panchromatic photocatalysis (M/F)
composite systems integrating carefully selected POMs, Zr-MOFs, and metallic NPs or immobilized species. These composite materials will be designed to exhibit high stability and to absorb a large portion of
-
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
-
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
-
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
-
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