68 programming-"the"-"DAAD"-"U"-"Prof"-"IMPRS-ML"-"O.P"-"https:" positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
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
-
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
-
include research, teaching and supervision. Focusing on probabilistic modelling of existing structures, the successful candidate will carry out research related to the new research programme called Civil
-
). The application deadline is January 5, 2026, at 11.59 PM/23.59 (CET) . Tenure track at the Faculty of Engineering, SDU With the tenure-track programme at the Faculty of Engineering, SDU, we offer an attractive
-
within physics, chemistry, and pharmacy under one department, which provides excellent opportunities to explore the intersections between these disciplines. Read more about the Ph.D. program at
-
) using a novel cell culture model. The postdoc will work on a comprehensive translational research program combining advanced human iPSC-derived co-culture models, spatial transcriptomics and proteomics
-
responsibility for program and curriculum development, maintain and develop relationships with appropriate stakeholders, perform academic, knowledge dissemination/outreach, and administrative tasks. The teaching
-
cheminformatics, differential privacy and cryptography. Artificial Intelligence, Cybersecurity and Programming Languages , focusing on choreographic programming, distributed computing (cloud, edge, IoT