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
-
Intelligence, Cybersecurity, and Programming Languages (ACP) . We encourage applications from researchers that can complement or strengthen the competences of the group. Examples of interesting research areas
-
Hours Per Week 37 Offer Starting Date 1 Jan 2026 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research
-
various full-time bachelor and master programs as well as part-time professional master programs. For a detailed description of the department's profile and activities and more information about its
-
and teaching collaboration, such as membership of different boards, councils and committees, course lead or head of study programme. The teaching and administrative obligation for academic staff is
-
2026 Is the job funded through the EU Research Framework Programme? Horizon Europe - MSCA Is the Job related to staff position within a Research Infrastructure? No Offer Description The Department
-
, 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
-
research plan, the grade of the assessment and the impressions during a prospective job interview. Furthermore, the applicant’s expected level of contribution to the department’s further development will be