Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
live in. Your role We are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State
-
microarchitectural vulnerabilities and/or formally prove the robustness, for a given fault model, of various RISC-V based processors. We have also developed binary-level program analysis methods (BINSEC/ASE) able
-
datasets using both traditional methods (e.g., factor analysis) as well as more modern approaches (e.g., deep learning). The goals are to develop new computational methods that allow the scientific inference
-
and educational issues with the common goal of contributing to an inclusive, open and resourceful society. Your role The topic of the PhD will be related to research carried out in our group, focusing
-
. To do this, knowledge or willingness to be trained in advanced statistical modelling, ideally with an interest in methods for causal inference in observational data, is strongly preferred. Using various
-
referee A brief (around 500 W) sketch for a potential PhD project (research question, a short literature review, an overview over the methods and data that you aim to use), related to the design and topics
-
needsExplore and pursue opportunities to apply for individual research funding For further information, please contact Prof. Daniel Abankwa (). Your profile PhD degree in developmental-/ cell biology
-
methods Thorough understanding of contemporary concepts in economic geography Particular interest in sustainability-related innovations and transitions (e.g. diverse economies, post-growth) Fluent in
-
for ensuring trust, accountability, and regulatory compliance. This PhD project aims to bridge the gap between symbolic and connectionist AI by developing a hybrid AI framework that integrates formal logics
-
participate in on-site meetings with partners in Switzerland For any questions, please contact Marten Düring (). Your profile Proven research experience in contemporary (media) history using digital methods PhD