Academic Jobs

Chalmers University of Technology, Sweden - Logo

PhD Position – Formal Verification of Smart Contracts, Chalmers, Sweden, Mar 2022

Chalmers University of Technology (CUT), Sweden

The Chalmers University of Technology invites applications for a Ph.D. position is to identify different security specifications, which can be checked with formal verification, theorem proving, at the Automation Group, within the Department of Electrical Engineering, Sweden – Mar 2022

Support us by Sharing!

Scroll Down for Content

General Info

Position: PhD Position
No. of Positions: 1
Research Field: ,
Joining Date: ASAP
Contract Period: 5 Years
Salary: According to Standard Norms

The Automation Group,
Department of Electrical Engineering
Chalmers University of Technology (CUT)
Gothenburg, Sweden

Scroll Down for Content

Qualification Details

To qualify for this PhD student position you must have a master's level degree corresponding to at least 240 higher education credits in Computer Science or Electrical Engineering or in a related field, with a good foundation in programming. As a person, you are energetic, creative, independent and enthusiastic about research. It is beneficial if you are an analytical person that enjoys solving complex problems.

Responsibilities/Job Description

Major responsibilities

In the past several years extensive research has been done on techniques to verify smart contracts. The topic of the position is to identify different security specifications, which can be checked with formal verification, theorem proving, etc. as well as designing algorithms for automatically modeling smart contracts and possible safe repair. You are expected to develop your own ideas and communicate scientific results orally as well as in written form in related conferences and journals. Moreover, the position includes 20% department work, mostly as a teaching assistance.

Contract terms

The PhD student position is a full-time temporary employment, limited to a maximum of 5 years. During this time you are expected to obtain a PhD degree. This encompasses 20% departmental duties (typically teaching), 20% studies for credits towards your PhD and 60% research.

How to Apply?

Online Application through "Apply Now" Button from this page

Reference Number: 20210604
(If any, use it in the necessary place)

Scroll Down for Content

Documents Required

The application should be marked with Ref 20210604 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).

About the Research Group

The Automation Group, within the Department of Electrical Engineering conducts research on formal verification of safety and security of smart contracts. Smart contracts are computer programs that change the way future business and trade are executed. The smart contracts are openly stored and executed in a blockchain ecosystem, enforcing a contractual agreement between mutually distrusting users, including the exchange of crypto currencies. An important feature of smart contracts is that once they are deployed on the blockchain they cannot be changed. Smart contracts successfully address the problem of guaranteeing the execution of agreements in a setting where parties neither need to trust each other, nor do they need to involve a third party (like bank, layer, or authority). At the same time, they provide a surface for security attacks.Given the high usage of smart contracts in a variety of applications such as insurance, supply chain, etc., and the large volume of digital assets being transferred, there is strong demand for verification techniques. Formal verification is the process of mathematically proving or disproving that a model of the system satisfies some requirements. The automation group has a solid track record and solid research on formal verification of manufacturing systems and software verification of autonomous vehicles, and production systems. These approaches we now want to develop for and apply to verification of smart contracts

About the Division

The Automation group has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor's, Master's and graduate levels. We also have extensive national and international collaborations with academia and industry.

About the Employer: Chalmers University of Technology (CUT)

Scroll Down for Content

Contact details

For questions, please contact:Sahar Mohajerani, Electrical EngineeringEmail: mohajera@chalmers.sePhone: +46-31-772-1470

Advertisement Details: PhD student position in Formal Verification of Smart Contracts

Other Vacancies from this field

Scroll Down for Content

Support us by Sharing!