Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
The Section for Software Engineering and Computing Systems, at the Department of Electrical and Computer Engineering (ECE), invites applicants for a two-year postdoctoral position within the area of
-
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
-
expected to collaborate with the PhD students in the group. Development of instruments an software You will contribute to developing the experimental instruments, in particular the optical setup and the
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
In the intersection between combatting climate change and world hunger, a new technology has emerged that enables food (protein) to be made from air (CO2) using nature’s own principles. The novel