Sort by
Refine Your Search
-
and transparency in AI-driven decision-making? We are looking for candidates interested in conducting research in one or more of the following areas: - Runtime verification under uncertainty
-
with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation
-
the Wallenberg Launchpad (WALP). We are seeking a highly motivated and talented researcher with a strong background in formal verification and microarchitectural security to join our dynamic research group
-
you to contribute or even lead in analyzing, summarizing, and conceptualizing data/results and cooperatively write manuscripts. Formal Requirements PhD degree in Biology, Chemistry or Physics