[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The department of Computer Science and Engineering at Chalmers has a
broad call for up to *five fully funded PhD positions* in a variety of
areas, among them *formal methods and type theory*.
As a PhD student in Sweden you have a competitive monthly salary and
full social benefits (paid sick and parental leave, pension benefits, etc).
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.
For more information, including the list of projects potential
candidates can apply to, please have a look at the following link
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$
_Deadline for application is April 15th 2024._
Do not hesitate to contact us if you have any questions regarding the
call or the projects!
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!XsrholRWYdGflNB1NvI13yBh7TSxkq5x00PIiIs0WikT0XHjSjk5viYRQeMPdMHrtacPc-a-mySKTuyVX8eTXSaP0X__ZQ$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
