<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>The department of Computer Science and Engineering at Chalmers
has a broad call for up to <b>five fully funded PhD positions</b>
in a variety of areas, among them <b>formal methods and type
theory</b>.</p>
<p>As a PhD student in Sweden you have a competitive monthly salary
and full social benefits (paid sick and parental leave, pension
benefits, etc).</p>
<p>PhD program is designed for 5 years and includes 20% of
departmental duties, which in general means helping as a teaching
assistants in courses offered at the department.</p>
<p>For more information, including the list of projects potential
candidates can apply to, please have a look at the following link<br>
</p>
<p><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK__;!!IBzWLUs!XsrholRWYdGflNB1NvI13yBh7TSxkq5x00PIiIs0WikT0XHjSjk5viYRQeMPdMHrtacPc-a-mySKTuyVX8eTXSZ4CX_IpA$">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK</a></p>
<p><u>Deadline for application is April 15th 2024.</u><br>
</p>
<p>Do not hesitate to contact us if you have any questions regarding
the call or the projects!<br>
</p>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!XsrholRWYdGflNB1NvI13yBh7TSxkq5x00PIiIs0WikT0XHjSjk5viYRQeMPdMHrtacPc-a-mySKTuyVX8eTXSaP0X__ZQ$">http://www.cse.chalmers.se/~bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>