Sort by
Refine Your Search
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Postdoctoral position in Systems and Hardware Security The Computer Security Group is a research group in
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Position in Computational Genomics, Machine Learning & Single-Cell Biology Mission
-
for Transportation (VITA ) is looking for a postdoctoral researcher in the area of Generative AI. VITA research interests lie at the intersection of Computer Vision, Machine Learning (Deep Learning), and Human-Robot
-
. Olga Fink ). IMOS develops advanced machine-learning and AI methods for complex engineering and industrial systems, with a particular focus on improving their reliability, availability, and operational
-
machine-learning and AI methods for complex engineering and industrial systems, with a particular focus on improving their reliability, availability, and operational performance while enabling more
-
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
-
only supports your professional development, but also actively contributes to positive change in society You can expect numerous benefits, such as public transport season tickets and car sharing, a wide
-
PhD in one of these areas. Candidates should have an exceptional academic record, a strong background in machine learning, and a robust mathematical foundation. They are also expected to have strong
-
improve high-throughput experimental workflows including closed-loop thin-film optimization Apply AI and Machine Learning for data analysis and modelling Develop, improve and implement HW/SW concepts and