PhD position in Formal Verification of Blockchain Applications


The department of Computer Science and Engineering is strongly international, with approximately 270 employees from over 30 countries. The position is placed in the Formal Methods group, which is internationally recognised for its research in software verification. The research, also of this project, is performed in the context of international collaborations. The outcome of the specific research project will contribute to the safety of the arising digital market places in general, and blockchain applications in particular.

Information about the researchThe research to be performed in this PhD position is part of a project on ‘Smart Contract Verification’. Smart contracts are computer programs running on the blockchain, intended to digitally facilitate the performance of a (financial) contract between all parties which choose to engage with it. The purpose of this project is to provide methods for specifying smart contracts, and on that basis verify, with high automation and with mathematical certainty, whether a given implementation of a smart contract meets this intention. The research is performed in a group which has a strong international reputation in formal software verification. Concretely, the work will build on the ‘KeY’ approach to software verification, and target the most popular smart contract platform, Ethereum.

Major responsibilities
The position comes with enrolment in the PhD programme for Computer Science and Engineering. As a PhD student, you undertake original individual research, under supervision and in context of the research group. This includes preparing research papers, mostly in collaboration with other researchers. 20% of the position are devoted to deartmental work, mostly as teaching assistants in courses.

Qualifications
Applicants should have, or expect shortly to obtain, a Masters degree in Computer Science, or equivalent. A good level of skills in mathematical modelling and reasoning is required. Skills in logic in computer science, verification, computer assisted proof tools, and object-oriented programming are a merrit.

The position requires sound verbal and written communication skills in English. If Swedish is not your native language, Chalmers offers Swedish courses.

Contract terms
The employment is a full-time fixed-term position, limited to a maximum of five years, four years of studies and up to one year of departmental work, distributed over the whole employment period.

We offer Chalmers offers a cultivating and inspiring working environment in the coastal city of Gothenburg
Read more about working at Chalmers and our benefits for employees.

Chalmers aims to actively improve our gender balance. We work broadly with equality projects, for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.

Application procedure
The application should be marked with Ref 20220276 and written in English. The application should be sent electronically and be attached as pdf-files, as below:

CV: (Please name the document: CV, Family name, Ref. number)
• CV
• Other, for example previous employments or leadership qualifications and positions of trust.
• Two references that we can contact.

Personal letter: (Please name the document as: Personal letter, Family name, Ref. number)
1-3 pages where you:
• Introduce yourself
• Describe your previous experience of relevance for the position (e.g. education, thesis work and, if applicable, any other research activities)
• Describe your future goals and future research focus

Other documents:
• Copies of bachelor and/or master’s thesis.
• Attested copies and transcripts of completed education, grades and other certificates, e.g. TOEFL test results.

Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped).

Application deadline: 15th July 2022

For questions, please contact:
Prof., Wolfgang Ahrendt, ahrendt@chalmers.se, +46-31-772-1011

*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. *** 
   



Chalmers University of Technology conducts research and education in engineering sciences, architecture, technology-related mathematical sciences, natural and nautical sciences, working in close collaboration with industry and society. The strategy for scientific excellence focuses on our six Areas of Advance; Energy, Health Engineering, Information and Communication Technology, Materials Science, Production and Transport. The aim is to make an active contribution to a sustainable future using the basic sciences as a foundation and innovation and entrepreneurship as the central driving forces. Chalmers has around 11,000 students and 3,000 employees. New knowledge and improved technology have characterised Chalmers since its foundation in 1829, completely in accordance with the will of William Chalmers and his motto: Avancez!


Read the job description at the university homepage

Apply

Post expires on Friday July 15th, 2022