Postdoc in Blockchain Offchain Monitoring

  • Getafe
  • Imdea Software Institute

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

Who should apply? : 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 IMDEA Software Institute is English.

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

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