Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the new SDU
-
requirements The candidates will participate in SDU Robotics’ comprehensive research and teaching activities within the areas of medical/surgical robotics, artificial intelligence, and control. The position as
-
knowledge and tools 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
-
the areas of medical/surgical robotics, artificial intelligence, and control. The position as research assistant requires a master’s degree and the position as postdoc requires a PhD degree. In both cases
-
, probabilistic graphical models, physics/dynamical systems. Qualifications: The candidate is expected to hold (or be about to complete) a relevant PhD degree in Computer Science, Artificial Intelligence or another
-
Requirements Applicants must hold a PhD degree in Machine Learning, Artificial Intelligence, Computer Science, Statistics, or a closely related field. A strong research background and programming experience
-
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
-
artificial intelligence. Strong support for professional development through the Lecturer Training Programme, mentoring, and a structured pathway toward tenure. An open and collaborative research culture
-
academic environment with over 400 employees and 10 research sections. We broadly cover digital technologies within mathematics, data science, computer science, and computer engineering, including artificial