Sort by
Refine Your Search
-
Country
-
Employer
-
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
-
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
-
novel two-component ultrasound strategy that first concentrates drug carriers within the target region and subsequently triggers localized drug release, achieving high therapeutic concentrations
-
: The measurement, reporting, and analysis of an organisation's financial performance alongside its environmental, social, and governance (ESG) and carbon footprint. Integrating traditional financial accounting