Sort by
Refine Your Search
-
control applications? In this PhD project, you will develop methods for the analysis, verification, and design of neural-network-based controllers. Rather than treating safety and stability as properties
-
. This PhD project aims to advance monitoring, reporting, verification (MRV) systems and mitigation strategies for reducing agricultural GHG emissions by systematically evaluating and improving the accuracy
-
hardware verification and intelligence-oriented analysis of captured electronics. The PhD researcher will evaluate the scientific validity and limitations of the proposed methods and contribute to open
-
defensive hardware verification and intelligence-oriented analysis of captured electronics. The PhD researcher will evaluate the scientific validity and limitations of the proposed methods and contribute
-
notions of resilience have to be developed along with algorithms to check resilience of machine learning models. Research is conducted in the fields of automated reasoning, probabilistic verification, and
-
science verification of the TIFUUN system at the ASTE telescope in the Atacama Desert, Chile. This provides a unique opportunity to be involved in both cutting-edge detector technology and astronomical