2 postdoc-distributed-algorithms Postdoctoral positions in Denmark

PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

Aarhus University | Denmark | about 2 hours ago

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

Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | about 9 hours ago

languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security