We are looking to fill a Postdoc position.
The candidate should :
- hold a PhD degree in Computer Science
- be fluent in English (French is an advantage but not required)
- have good programming skills
Experience with DSLs, IDEs, Models, compilers, code analysis... is a plus.
Topic: Higher level IDEs for BlockChain Technologies
With Ethereum, BlockChain technology moves from being an implementation
technology for virtual currency to being the basis for developing new kinds of
software with smart contracts. The goal of this project is to analyse and
improve high-level development and analysis tools for this new kind of software.
Users like banks and insurance companies need tools that model their processes
and level of confidentiality of the information shared though blockchain
technology, especially on public blockchains. For this, users need a solution
that provides a higher level way to model systems than solidity code or even
low-level byte-code. In addition, blockchain based solutions often use multiple
programming languages. Especially the later poses a risk for later software
The goal of this Postdoc is to work on high level IDE / modelling tools for
blockchain technology like Ethereum.
The plan is to
- Analyse the current state of tools and languages in the context of blockchain
- Analyse the current state: modelling tools and processes with a focus in
both in communities and commercial use.
- Explore how to improve the state of the art, with a focus on how tools can
support users of blockchain solutions.
- Realize prototypes for IDEs/modelling tools for Ethereum, possibly using
to explore will be both related to generating and analysing solidity code as
well as complete
solutions for users in an industrial setting.
- Results will be submitted to be publish in international conferences and
The work is a collaboration between Inria Lille (RMOD) and Utocat SAS.
Duration : 2 years
Salary: 31 644€ brut
More information: contact marcus.den...@inria.fr
Utocat was created in October 2014 by Clément Francomme to help merchants
accepting bitcoin payments and converting it directly in euros. In 2015, Utocat
joined the EuraTechnologies acceleration program and pivoted to propose
Blockchainiz : the dedicated access platform for Banks and Insurance companies.
Laurent Koszyczek and Alexis Mévellec partnered with Clément Francomme to
improve the technical and commercial aspects.
As a Platform As A Service (PAAS), Blockchainiz accompanies projects up to the
Blockchainiz connects the functional processes to the blockchain. Data is not
replicated on different IT systems anymore. Blockchain is used as a common
repository for every part of the process. Hence, it enables to limit the typing
errors, to optimize the costs and delays while the customer experience is
More information at: https://www.blockchainiz.io
Inria is a research institute dedicated to promoting ‘scientific excellence in
the service of technology transfer and society as a whole’. Inria employs a
staff of 2700, drawn from the world’s most prestigious universities, to address
the latest challenges in computer science and mathematics. The Institute
operates eight Research Centres throughout France.
The Inria Lille - Nord Europe Research Centre was founded in 2008 and employs a
staff of 360, including 300 scientists working in sixteen research teams.
Recognised for its outstanding contribution the socio-economic development of
the Nord - Pas-de-Calais Region, the Inria Lille - Nord Europe Research Centre
undertakes research in the field of computer science in collaboration with a
range of academic, institutional and industrial partners.
The strategy of the Centre is to develop an internationally renowned centre of
excellence with a significant impact on the City of Lille and its surrounding
area. It works to achieve this by pursuing a range of ambitious research
projects in such fields of computer science as the intelligence of data and
adaptive software systems. Building on the synergies between research and
industry, Inria is a major contributor to skills and technology transfer in the
field of computer science. https://www.inria.fr/centre/lille
The goal of RMoD is to support remodularization and development of modular
object-oriented applications. We tackle this objective from two complementary
perspectives: reengineering, and constructs for dynamic languages. In the
context of languages, we revisit language concepts such as modules and
composition; we are also working on a new
generation of reflective systems. We experiment with these programming
constructs using Pharo, an open source, reflective, object-oriented language.