Sort by
Refine Your Search
-
on the applications of logical zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Learn
-
, interns, and PostDocs at the intersection of computer vision and machine learning. The positions are fully-funded with payments and benefits according to German public service positions (TV-L E13, 100
Enter an email to receive alerts for learning "https:" "https:" positions