Department of Computer Science, Aarhus University is looking for 2 IT-Employees with focus on formally verified compilers for ZK-proofs
We are searching for a motivated Master's students to work on an innovative research project focused formally verified compilers for ZK-proofs.
The candidates will be responsible for aiding the Principal Investigator with the verified implementation of such a compiler. The verification will be done using the Rocq proof assistant.
Qualifications:
The ideal candidate will be experienced in formal verification in Rocq, functional programming, formal cryptographic proofs, compilation, RISC-V
Key responsibilities:
Implementation and verification of cryptographic protocols in Rocq Implementation and formal verification of compiler optimizations in RocqThe 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, 8200 Aarhus N.
Benefits:
- Hands-on experience in verified cryptographic compilers
- Opportunity to contribute to cutting-edge research.
Work closely with the research team, getting a taste of life in academia.
Application deadline
Applications must be recieved no later than 14 July 2025.
Formalities and salary range
Salary and terms as agreed between the Danish Ministry of Taxation and the Confederation of Professional Unions.
Aarhus University’s ambition is to be an attractive and inspiring workplace for all and to foster a culture in which each individual has opportunities to thrive, achieve and develop. We view equality and diversity as assets, and we welcome all applicants.
The application must be submitted via Aarhus University’s recruitment system, which can be accessed under the job advertisement on Aarhus University's website.
Aarhus University
Aarhus University is an academically diverse and research-intensive university with a strong commitment to high-quality research and education and the development of society nationally and globally. The university offers an inspiring research and teaching environment to its 38,000 students (FTEs) and 8,300 employees, and has an annual revenues of EUR 935 million. Learn more at www.international.au.dk/
