2 hardware-verification Postdoctoral positions at Aarhus University

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

Aarhus University | Denmark | 2 months 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

Two postdoc positions in computer vision and deep learning for biodiversity monitoring

Aarhus University | Denmark | 11 days ago

: Experience with ecological datasets or biodiversity applications Experience with hardware integration, embedded systems, or edge computing (not required but beneficial) A track record of publishing technical