5 semantic-web Postdoctoral positions at Aarhus University

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 3 months ago

for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization

Postdoctoral Researcher in Digital Methods and the Creator Economy at the Department of Media and Journalism Studies

Aarhus University | Denmark | 9 days ago

media data using platform APIs and/or web scraping analyse large-scale data using appropriate digital methods (flexible, but please specify) present research at national and/or international events lead

Postdoctoral positions in Mathematics

Aarhus University | Denmark | about 2 months ago

-mathematics-2 . Contact: Andreas Basse-O´Connor Email: Postal Mail: Ny Munkegade 118, Building 1530 DK-8000 Aarhus C Denmark Web Page: http://math.au.dk/en/

Postdoctoral Positions in Probability Theory and Analysis – Aarhus University

Aarhus University | Denmark | 2 months ago

Aarhus C Denmark Web Page: http://math.au.dk/en/

Postdoc position in IoT systems and real-time distributed systems

Aarhus University | Denmark | 1 day ago

interdisciplinary collaboration is encouraged. You will have the opportunity to work with both academic researchers and industry professionals, contributing to projects with real-world impact. Department web site