Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, longest-chain and DAG-based), integrating timestamping mechanisms, and analyzing performance. The ideal candidate should have taken the distributed systems course, or prove similar knowledge, and have
-
systems debugging knowledge of distributed computing technologies scientific software design scientific workflow tools Strong background in Linux systems Relevant programming skills (e.g., shell scripting
-
The Center for Basic Research in Program Verification (CPV) seeks an assistant professor to work on the ERC funded project Compositional Reasoning about Higher-Order Distributed Systems (CHORDS
-
ambiguityat the PhD Programme Economics and Business Economics. The position is available by mutual agreement, with 1 August 2025 as the earliest starting date. The research project Aging societies and recent
-
related field, with research interests in one or more of the following areas: Advanced technologies in energy generation, distribution and demand—always with a focus on both technology and business
-
: Synchrotron experiments (XRD, PDF, EXAFS) Cryogenic electron microscopy (cryo-EM) Pair angle distribution function (PADF) analysis Time-resolved studies of structural changes Crystallography Electron scattering
-
of materials science, tribology, surface integrity, and durability of engineering components. Our research spans experimental and computational approaches to understand how materials perform under mechanical