-
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
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Dresden, Sachsen | Germany | 2 months ago
is an advantage # Familiarity with scientific data analysis environments # Sound knowledge of quantitative data analysis and statistical methods # Interest in or initial experience with data-driven
-
epigenomic data analysis or gene regulatory network inference Ability to work independently and collaboratively in a multidisciplinary environment Excellent written and spoken English skills What we offer
-
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
-
development, and high-performance computing Proficiency in R or Python, and shell scripting Interest in gene regulation and developmental biology Optional previous experience with epigenomic data analysis
-
-organization. For more information go to: https://www.bauschlab.org Your Qualification: High motivation, curiosity, and commitment to scientific excellence Master's degree (for PhD) or PhD (for PostDoc) in stem
-
-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