Sort by
Refine Your Search
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
an independent research profile and contribute to shaping the future direction of the group. We work at the interface of biodiversity science, trait-based ecology, landscape ecology, and quantitative spatial
-
the opportunity to further develop their research agenda and academic profile. The position includes teaching responsibilities and support for competitive grant applications. Research Focus You will use game theory
-
generate the first global, theory-driven evidence base on participatory sustainability governance, and advance both social science methodology and governance theory. The project team comprises the Principal
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
, and collaborative work to generate insights that help shape living conditions for individuals and societies to thrive. We combine pioneering interdisciplinary research infrastructures with local and
-
or equivalent Additional Information Work Location(s) Number of offers available1Company/InstituteMax Planck Institute for Human DevelopmentCountryGermanyGeofield Contact City Berlin Website https://www.mpib
-
reduction, nonlocal PDE operators or OpenMP/MPI/CUDA parallelization? If such terms are familiar for you - and if you are excited by the mathematical analysis, development, and rigorous understanding
-
the possibility of extension, depending on performance and project needs. Qualifications • For Doctoral Candidates: Master’s degree in Computer Science or Mathematics. • For Postdoctoral Researchers: Ph.D. in
-
power systems in the CoSES lab at the Technical University of Munich. Previous Work https://mediatum.ub.tum.de/doc/1731060/g5zgxaj96lcyhh8gh6le1xbuu.Wetzlinger-2023-TAC.pdf https://mediatum.ub.tum.de/doc