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 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, 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.
Similar Positions
-
Professor And Head Of The National Centre For Register Based Research , ; University of Aarhus, Denmark, 10 days ago
The Department of Public Health at Faculty of Health – Aarhus University, invites applications for a position as Professor and Head of the National Centre for Register-based Research (NCRR). The p...
-
<! Ko If: Is Job Title Visible > System Developers With An Interest In Ai For Developing Data Solutions For The Lumi Ai Factory And The European Ai Infrastructure <! /Ko > <! Ko If: Is Already Applied Visible ><! /Ko > , Technical University of Denmark, Denmark, about 5 hours ago
Job Description System developers with an interest in AI for developing data solutions for the LUMI AI Factory and the European AI infrastructure Are you interested in creating software solutions ...
-
<! Ko If: Is Job Title Visible > Data Management Consultant Danish E Infrastructure Consortium (Dei C) <! /Ko > <! Ko If: Is Already Applied Visible ><! /Ko > , Technical University of Denmark, Denmark, 14 days ago
Job Description Does data management and data stewardship for research sound important and exciting to you? Are you interested in metadata, vocabularies, taxonomies, and ontologies for data? Can y...
-
Faculty Positions In Post Quantum Cryptography, Xi'an Jiaotong-Liverpool University, China, about 17 hours ago
Xi'an Jiaotong-Liverpool University Position ID: 2620 -FACULTYPOSITIONS [#26433, 4087] Position Title: Position Type: Other Position Location: Suzhou, Jiangsu, China [map ] Subject Area: Post-Qua...
-
University Assistant Predoctoral, Computer Science, UNIVERSITY OF VIENNA, United Kingdom, 27 days ago
39 Faculty of Computer Science Startdate: 01.09.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.08.2029 Reference no.: 4186 The empl...
-
Linyi University 2025 Staff Recruitment Announcement (Long Term Positions), Nature Careers, Spain, 8 days ago
Linyi University, located in the historical and cultural city of Linyi, Shandong Province, known as a commerce and logistics hub, an eco-friendly waterfront city, a red tourism destination, and a ...