72 computer-science-programming-languages-"UCL"-"UCL" uni jobs at University of Southern Denmark
Sort by
Refine Your Search
-
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
-
programming, including embedded systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including
-
, Cybersecurity, and Programming Languages (ACP) and the new SDU Centre for Computer Science and Artificial Intelligence in Campus Vejle. We encourage applications from researchers that can complement or
-
will complete the Lecturer Training Programme . Appointment to the position will be in accordance with the collective agreement between the Ministry of Finance and the Danish Confederation
-
methods is a key requirement In addition, we seek someone who: Thrives on curiosity-driven research and thinks beyond traditional disciplinary lines. Is fluent in English and comfortable in a diverse
-
of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a