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

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 | 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

(name, job title, place of work, and email address) as well as the name of the position you have applied for to: HR.Nattech@au.dk Formalities and salary range Technical Sciences refers to the Ministerial

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