Sort by
Refine Your Search
-
provable guarantees AI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive
-
investigate simplified and analytically tractable models aimed at identifying general principles governing non-equilibrium chemical reaction networks. The position is primarily research-oriented. Contributions
-
infection models to identify and characterize compounds active against these priority pathogens. Main duties and responsibilities Design and build a microscopy-based phenotypic screening pipeline (live
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
, environmental modelling and geospatial data science. The position is part of Vertical Africa (VERTICAF), an interdisciplinary research project funded by the Swiss National Science Foundation (SNSF). We
-
communities as a model system. Main duties and responsibilities Anaerobic digestion communities are among the best-characterized and most ecologically important microbial ecosystems. Composed of diverse
-
will play a key role in ensuring that these complex data streams are acquired, synchronized, quality-controlled, modeled and interpreted with the highest level of technical and analytical rigor. Main
-
combining experimental biology and computational genomics. Main duties and responsibilities Working and collaborating on research projects Analysis and publication of results Build a strong network in the
-
the field of sustainable construction. The research integrates dynamic material value-chain analyses, ownership models, technical performance assessment, and design-for-disassembly strategies to support the
-
particular the development of generative AI technologies such as diffusion models, flow matching, generative transformers, or related architectures. The position is highly methodological and focuses