KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.
The third-cycle subject the doctoral student will be admitted to is computer science, more information at https://intra.kth.se/en/eecs/forskarutbildning/doctoral-programmes/computer-science-1.817607
The doctoral student will work in the area of run-time monitoring for smart contracts.
Why run-time monitoring? Existing vulnerability detection techniques mostly rely on generic execution-flow patterns and do not capture run-time data precisely. As a result of that, they tend to over-report some problems while missing others. In particular, it is important to monitor the temporal behavior and execution cost (“gas” usage) of transactions in smart contracts during their execution. However, run-time monitoring of smart contracts is currently not possible in a precise way due to inherent limitations of their execution environment.
This project investigates what run-time properties smart contracts have to fulfill in order to be safe from certain types of vulnerabilities, while also implementing the necessary infrastructure for such monitoring. As a result of the project, we will get novel approaches for monitoring smart contracts against vulnerabilities and learn about safe designs for next-generation smart-contracts and even smart-contract platforms.
Please contact Cyrille Artho (email@example.com) by email for further information. In addition to email inquiries, all applications must be formally made through the KTH website.
Supervision: The doctoral student will be placed at the KTH Royal Institute of Technology and supervised by Cyrille Artho.
What we offer
To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:
In order to succeed as an doctoral student at KTH you need to be goal oriented and persevering in your work. In the selection of the applicants, the following will be assessed:
Knowledge of run-time monitoring or smart contracts is a plus but not required. We understand that this project spans multiple disciplines, so we encourage candidates who are interested in learning and mastering them.
After the qualification requirements, great emphasis will be placed on personal qualities and personal suitability.
Target degree: Doctoral degree
Information regarding admission and employment
Only those who are or have been admitted to third-cycle studies may be employed as a doctoral student. The term of the initial contract may not exceed one year and may there after be extended. Doctoral students may engage in teaching, research, and administration corresponding to a maximum of 20 % of a full-time position.
You will find contact information for union representatives on KTH's website.
Doctoral section (Students’ union on KTH Royal Institute of Technology)
You will find contact information for doctoral section on the section's website.
Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement.
Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/entral European Summer Time).
Applications must include the following elements:
Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.
For information about processing of personal data in the recruitment process please read here.
We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.
Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.
Type of employment: Temporary position longer than 6 months
|Title||Doctoral student in Temporal Monitoring of Smart Contracts|
|Employer||KTH Royal Institute of Technology|
|Job location||Valhallavägen 79, 100 44 Stockholm|
|Published||November 14, 2019|
|Application deadline||December 31, 2019|
|Job types||PhD  |
|Fields||Informatics,   Information Science,   Algorithms,   Artificial Intelligence,   Artificial Neural Network,   Computer and Society,   Computer Architecture,   Computer Communications (Networks),   Computer Graphics,    and 21 more. Cyber Security,   Computing in Mathematics, Natural Science, Engineering and Medicine,   Computing in Social science, Arts and Humanities,   Data Mining,   Data Structures,   Databases,   Distributed Computing,   Human-computer Interaction,   Information Systems (Business Informatics),   Operating Systems,   Parallel Computing,   Programming Languages,   Quantum Computing,   Software Engineering,   Theory of Computation,   Computational Sciences,   Game Design,   Big Data,   Machine Learning,   Machine Vision,   Computer Vision  |