Sort by
Refine Your Search
-
rewriting, graphical languages, process calculi) • Quantum causal models • Type systems for quantum languages • Research within the Proofs & Programs team • Participation in seminars and team discussions
-
for the direct spatio-temporal measurement of the turbulent dissipation rate at a solid wall. New post-processing algorithms are also developed for Particle Image Velocimetry to measure extremely dense 3D time
-
conflictual processes, its social drivers, and its political expressions. In particular, it will focus on building a database of the most significant controversies related to the three issues identified, by
-
challenges in coupled photo- and biocatalysis The transition toward sustainable chemical manufacturing requires innovative strategies to replace fossil-based processes with biomass-derived alternatives. Among
-
of suitable catalysts and the optimization of operating conditions. This project aims to investigate the catalytic conversion of phenolic monomers via the catalytic hydrogen transfer process in both gas and
-
, cell biology experiments, biochemistry, metabolic profiling, measurement of metabolic or electric activities via probes or MEA system, and in vitro imaging using confocal microscopy). • Animal experiment
-
, we observed size-specificity in the adaptation process at the phenotypic, genetic and mechanistic levels. However, we still do not understand the molecular pathways by which cell size shapes cellular
-
researchers with ample experience in MEG/EEG data analysis, BCIs, signal processing, deep learning for brain imaging analysis, biomedical statistics, dynamical systems and research on motor control. The lab has
-
to detect, image, and analyze ferroelectric domains in 2D ferroelectric heterostructures. You will employ advanced cryogenic micro-spectroscopy, and reflection contrast imaging to visualize domain structures
-
Postdoctoral researcher (M/F). Modeling damage during earthquakes. Comparison with geophysical data.
. Use of digital earthquake models; The code used for calculations is written in Fortran, and the tools for processing input and output data are written in MATLAB and Python. The postdoctoral researcher's