Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Are you interested in real-time distributed systems, IoT connectivity, and AI-driven automation? The Department of Electrical and Computer Engineering at Aarhus University invites applications for a
-
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 Summer 2026, with
-
. The goal is to quantify both the extent of material degradation and its precise spatial distribution within the battery structure. By modeling the battery as a dynamic 3D acoustic landscape, we expect to be
-
will be in developing new techniques for testing and verifying modern highly concurrent systems, such as weak-memory architectures and highly-distributed databases. The position is also open, to some
-
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
-
the ERC Consolidator project “The Role of Workers’ and Employers’ Bargaining Power in Distributional Workplace Accounts.” This project is led by Professor Tali Kristal at Haifa University and the co-PI
-
in research and education. We value diversity of experience and perspective, and no one is expected to tick every box. The project team will distribute responsibilities flexibly, leveraging your unique