Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Postdoc Positions Country Denmark Application Deadline 1 Feb 2026 - 23:00 (Europe/Copenhagen) Type of Contract Temporary Job Status Full-time Hours Per Week 37 Is the job funded through the EU Research
-
. The successful candidate will be based in Odense, under the primary supervision of Prof. Ricardo J. G. B. Campello , but they will be expected to also work closely with other PhD students, postdocs, and
-
programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
will have the opportunity to engage in pioneering research, collaborate with a large, dynamic and multidisciplinary team, and advance the field of quantum computing through innovative algorithms and
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security