1 verification-computer-science uni jobs at Aarhus University in Denmark

Sort by

listed

Refine Your Search

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 | about 1 month 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

Searches related to verification computer science

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