Chalmers University of Technology Gothenburg Sweden PhD position in Formal Verification of Blockchain Applications 2022

Scholarship Description:

All Ph.D. students are encouraged and welcome to apply!

The ph.D. position in Formal Verification of Blockchain Applications is open at Chalmers University of Technology for 2022-2023. Ph.D. position in Formal Verification of Blockchain Applications 2022-23 at the Chalmers University of Technology is now available for international students if they have or expect shortly to obtain, a Masters's degree in Computer Science, or equivalent.

The Chalmers University of Technology has officially announced the scholarships for the upcoming class. The Chalmers University of Technology is considered to be one of the top institutions around the globe. The Chalmers University of Technology was founded in 1829 and currently functions in Sweden.

The Chalmers University of Technology offers such scholarships every year to welcome students to the campus. Ph.D. position in Formal Verification of Blockchain Applications   2022-23 will open the door to new and better opportunities for selected students and be exposed to advanced learning in postgraduate programs.

Keep reading about Chalmers University of Technology's acceptance rate, GPA requirements, eligibility and selection criteria, and other helpful information. 

You will find the link to apply below.

Degree Level:

Chalmers University of Technology Gothenburg Sweden PhD position in Formal Verification of Blockchain Applications 2022 is available to undertake PhD level programs at Chalmers University of Technology.

Available Subjects:

Following subject are available to study under this scholarship program.

• Computer Science

Scholarship Benefits:

The selected candidates will be offered full-time temporary employment for up to five years (two years initially with a possible extension to three years).

Eligible Nationalities:

All Nationalities

Eligibility Criteria:

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.

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. Maximum size for each file is 40 MB. Please note that the system does not support Zip files.