81 programming-"the"-"DAAD"-"EURAXESS"-"Prof"-"UCL"-"University-of-York"-"IMPRS-ML" 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 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                your particular niche will be part of the position. The group has a very strong infrastructure and internal teaching program and covers multiple areas of pharmacoepidemiology, including method 
- 
                
                
                Master's program in Environmental Engineering and is involved in both the Bachelor's and Master's programs in Energy Technology and Integrated Design and Sustainable Product Development. For more information