The IMDEA Software Institute invites applications for one intern position to work on the implementation of fraud proof games for Layer 2 optimistic rollup blockchains. In L2 optimistic rollups servers post to L1 claims about the outcome of the computation of smart contracts, which will become permanent unless they are proven fraudulent. Other servers can dispute the claims during a grace period.
In our research group we have developed specific fraud-proof games for two important problems: data availability and equilibrium of networks of exchange houses. The special purpose fraud-proof games are much faster and simpler than using games over the execution of general evaluation engines.
The intern will develop: (1) the code of an honest server, (2) the code of an honest challenger in both cases for detecting dishonest behaviors and playing the fraud-proof games. The intern will also develop the L1 smart contracts that arbitrate the game.
The ideal candidate should have a strong background on programming languages and excellent programming skills. Experience in the Go programming language or a similar programming language will be very valuable. Some experience in Blockchain technologies will also be valuable.
Applications are invited to apply for an intern position at the IMDEA Software Institute, Madrid, Spain. Selected candidates will work with César Sánchez and an international team of graduate students, postdocs, programmers and researchers focusing on Blockchain reliability.
Candidates should hold a Bs or Ms in Computer Science or be close to complete one, have an interest in the above area, and a strong commitment to research. Proven top programming skills as well as ability to understand and develop algorithms are required. Good teamwork and communication skills, including excellent spoken and written English are also required.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the IMDEA Software Institute is English.
The duration of the position will be up to 10 months.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-03-intern-fraudproofs. Deadline for applications is April 29th, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact:
