142 programming-language-"St"-"UNIVERSITÄT-DUISBURG-ESSEN"-"FEMTO-ST"-"St" positions at University of Southern 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
-
different courses within the German Studies Program and the Comparative Literature Studies Program at the department. The teaching tasks also include supervision of BA, MA, and Ph.D.-students. Academic
-
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
-
invites applications for postdoctoral research fellowship position(s) within the field of machine learning, natural language processing, and AI safety. The proposed starting date is 1 February 2026 or soon
-
artificial intelligence. Strong support for professional development through the Lecturer Training Programme, mentoring, and a structured pathway toward tenure. An open and collaborative research culture
-
collaborative skills and proficiency in spoken and written English. - Willingness to contribute to the Biology teaching program at BSc and MSc levels, in particular in the area of Animal Physiology and Zoology
-
) 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