Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
and presentations, if applicable). High scientific qualification in numerical methods and scientific computing. Didactic skills and qualification as well as experience in e-learning. Excellent
-
and presentations, if applicable). High scientific qualification in numerical methods and scientific computing. Didactic skills and qualification as well as experience in e-learning. Excellent
-
a catch: in most real-world scenarios, this equation lives in very high-dimensional spaces, making its numerical solution a serious computational challenge. This project aims to tackle that head-on by
-
adminstrative affairs, which means: Conducting research projects in the field of microbial biotechnology. Gene cloning using a variety of methods. Generating recombinant bacteria. Testing bacteria
-
team led by Univ. Prof. Olga Mula. Our group’s work sits at the forefront of numerical analysis for Partial Differential Equations, enriched with data-driven methodologies -- a powerful combination
-
applicants for a 6-month paternity leave replacement who have a strong interest in using computational methods such as cognitive and psychophysiological modeling, (Bayesian) statistics and optimal experimental
-
team led by Univ. Prof. Olga Mula. Our group’s work sits at the forefront of numerical analysis for Partial Differential Equations, enriched with data-driven methodologies -- a powerful combination
-
. Philipp Petersen, M.Sc.. The research areas developed by the team are in particular related to theoretical analysis of classical problems in numerical analysis in the framework of modern algorithms
-
. Computing time is available on our local cluster and on the Vienna Scientific Cluster (VSC), a supercomputer shared by Austria's major universities. We focus on the development of methods to solve the many