Sort by
Refine Your Search
-
Country
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Munich
- Instituto Superior Técnico
- DAAD
- ETH Zürich
- Heidelberg University
- Instituto Superior de Agronomia
- Lunenfeld-Tanenbaum Research Institute
- St. Anna Children's Cancer Research Institute (St. Anna CCRI)
- St. Anna Kinderkrebsforschung e.V.
- Université de Limoges
- 1 more »
- « less
-
Field
-
on imaging concepts, knowledge of Matlab, Python programming languages and commercial software based on the finite element method is a plus, excellent communication skills (written and oral) in English. A very
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
Renewals: 10 months Objectives • Develop homogeneous and stable polymeric coatings for membranes intended for gas permeation applications. • Incorporate Metal–Organic Frameworks (MOFs) into coating systems
-
neurodevelopment with a focus on how NR2F1 dosage shapes the specification of neuronal lineages and the formation of cortical circuits. NR2F1 is a key transcription factor controlling embryonic neuronal development
-
the Taschner-Mandl Group, focusing on the analysis of single-cell and multi-omics data from patient samples. The project aims to uncover the tumor microenvironment and (epi)genetic drivers of neuroblastoma
-
Group, focusing on the analysis of single-cell and multi-omics data from patient samples. The project aims to uncover the tumor microenvironment and (epi)genetic drivers of neuroblastoma using cutting
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
systems, IoT security, security analytics, operational cybersecurity, digital forensics, vulnerability assessment, malware analysis, privacy technologies, and AI security AI and Emerging Fields: Smart
-
equations, numerical analysis, mathematicalmodels in biomedicine, biostatistics, machine learning, statistical learning, multivariate statistics, time series,mathematical modelling, generalized linear models