Two PhD positions at the Department of Computer Science, Reykjavik University: Model-driven SE for blockchain and smart contracts

The Software and Emerging Technology Lab at the Department of Computer Science, Reykjavik University, is looking for two PhD candidates to work on an ongoing research project on the application of Model Driven Software Engineering principles, methodologies, technologies and abstractions to Blockchain and Smart Contracts. While both positions require strong software development skills and familiarity with the model-driven software engineering approach, the first position will focus on domain analysis and code generation, while the second position is concerned with contract safety and validity and requires knowledge in model verification and validation. The project is based in Iceland. It will be directed by Mohammad Hamdaqa in collaboration with Luca Aceto and Gísli Hjálmtýsson and in close collaboration with Polytechnique Montréal in Canada. The positions are fully funded and include full tuition waiver and a salary in accordance with the Icelandic Research Fund guidelines. Particularly the funding is covering full tuition as well as a stipend of 383,000 ISK per month before taxes for a minimum of three years. 

If you are interested to apply, please send the documents below to the following email addresses: mhamdaqa@ru.is; luca@ru.is; gisli@ru.is

• A copy of your CV and research interests
• A copy of all your transcripts
• A sample publication
• A maximum of one page research statement of your plans for research in your PhD.
• Your intended starting date / and if you need a visa
• For more information about the position and the research topics, do not hesitate to send your enquiries to any of the project collaborators.

Mohammad Hamdaqa  (https://en.ru.is/cress/)
mhamdaqa@ru.is

Luca Aceto (http://icetcs.ru.is/)
email: luca@ru.is

Gísli Hjálmtýsson (https://en.ru.is/fintech/)
email: gisli@ru.is

Informal inquiries about the project and the conditions of work are very welcome. We will start reviewing applications as soon as they arrive and will continue to accept applications until each position is filled. We strongly encourage interested applicants to send their applications as soon as possible and no later than 28 February 2021.