IMDEA Software

IMDEA initiative

Home > Open Positions

Research Programmer in Offchain

The IMDEA Software Institute invites applications for one research programmer position to work on the offchain monitoring of blockchains with smart contracts. Offchain monitoring is the process of analyzing the chain of blocks that are generated during the evolution of the blockchain. Miners/bakers create new blocks containing enough information to reproduce all details of the execution of the smart contracts. In turn, indexers collect the information contained in the blocks and compute and index additional information for efficient retrieval. Indexers allow to execute queries efficiently about the history of the blockchain, but typically they are typically only used to compute execution statistics.

this project we aim to build a sophisticated system, based on runtime verification, to analyze the execution of the Tezos blockchain to detect attacks, malicious users and their relations and other anomalies. The goal of the project is to build a system consisting of (1) a query monitoring language that allows to describe which information to collect from the history of the blockchain (2) rich data that is computed as a results of queries and serves as explanation and visualization (3) improvements on indexers that allow to runs these queries efficiently.

ideal candidate should have a strong background on programming languages and excellent programming skills. Expertise informal methods is a big plus. Experience in Blockchain technologies, particularly smart contracts, and runtime verification is also a plus. Functional languages (particularly O-Caml) and ability to learn new programming languages is also a big plus.

lications are invited to apply for a research programmer 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.

Who should apply?

Candidates should hold a Bs or Ms in Computer Science or related topic, 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.

Working at IMDEA Software

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 institute is English.

Dates

The duration of the position will be up to 30 months.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2022-01-programmer-offchain. Deadline for applications is February 20th, 2022. Review of applications will begin immediately.

For enquiries about the position, please contact: cesar.sanchez (at) imdea.org