1 formal-verification-computer-science uni jobs in Denmark

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-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 | 12 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

Searches related to formal verification computer science

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