2 verification-computer-science positions at Aarhus University in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for verification-computer-science positions

Department of Computer Science, Aarhus University is looking for 2 IT-Employees with focus on formally verified compilers for ZK-proofs

Aarhus University | Denmark | 20 days ago

verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34
Postdoc in enabling decision support for GHG mitigation in Danish agriculture

Aarhus University | Denmark | about 2 months ago

SMARTFIELD project. We are looking for a candidate with extensive knowledge in social science, environmental management, agroecology, or a related field, who is committed to research in the science-policy

Enter an email to receive alerts for verification-computer-science positions