Sort by
Refine Your Search
-
Listed
-
Country
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Mathematics
- Science
- Business
- Education
- Biology
- Environment
- Psychology
- Arts and Literature
- Materials Science
- Social Sciences
- Physics
- Chemistry
- Law
- Linguistics
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Humanities
- 12 more »
- « less
-
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
-
of the analysis of in-situ experimental data in the field of non-destructive testing (digital image correlation, thermography and acoustic emission) development of algorithm-supported evaluation methods in
-
national and international research projects, development of competences in modern design methods, numerical calculations, and the implementation of research and development work, as well as improvement
-
finding techniques, such as Newton's method, after adapted numerical discretization. There is a challenge in extending existing BVP schemes to reaction-diffusion problems, choosing suitable spatial and
-
radiochemistry State of the art In 2020, about 2.7 million people in the EU were diagnosed with cancer, and nearly 1.3 million died from it. One method of treating cancer is targeted radionuclide therapy (TRT) [1
-
obtained Numerical modelling and inversion of magnetotelluric and controlled source EM data Interpretation of the modelling results in a geoscientific context New and further development of numerical methods
-
method based on large-scale and laboratory-scale experiments supported by numerical modelling to: Better understand the fire behaviour of the new façade system, to propose fire safe constructions and to
-
(HAC). This role focuses on applying advanced computational and analytical methods—including artificial intelligence, machine learning, deep learning, time-series modeling, and large language models
-
and model explainability methods. Strong software engineering practices: Git, reproducible experiments, modular code, deploying models in cloud (AWS/GCP) and containerized services (Docker, Kubernetes
-
the enhancement of the efficiency or figure of merit of the stacks. Moreover, (ii) by using and combining various experimental techniques and methods available at the laboratory (harmonic Hall, spin pumping, FMR