Sort by
Refine Your Search
-
assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations
-
and 10 research sections. We broadly cover digital technologies within mathematics, data science, computer science, and computer engineering, including artificial intelligence (AI), machine learning
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
languages. The position has a duration of 3 years. Due to the highly interdisciplinary nature of the position, the hired candidate will be part of both the section of Artificial Intelligence, Cybersecurity
-
of bioinformatics, artificial intelligence, and systems biology, with a focus on single-cell genomics and other omics layers to understand early deviations in cardiometabolic diseases. Candidates should have a strong
-
verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous
-
Machine Learning, Artificial Intelligence, Computer Science, Statistics, or a closely related field. A strong research background and programming experience are essential, particularly in one or more of the