214 programming-"the"-"DAAD"-"IMPRS-ML"-"IDAEA-CSIC"-"EURAXESS"-"UCL"-"https:"-"Aarhus-University" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after
-
Materials, Culture and Heritage (MCH) is the Research Programme within the Department of Archaeology and Heritage Studies, at the Moesgård Campus. We are recruiting a Student Assistant
-
Computer Science, 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
-
philosophy at both BA and MA level, alongside active engagement in study programme related activities and curriculum design. Qualifications The successful applicant must: Hold a PhD or similar qualifications
-
Foundation Quantum Computing Programme (NQCP) is establishing a talented and diverse international team to create a cutting-edge quantum programme in the heart of Copenhagen, Denmark. At the Niels Bohr