[Agda] Five PhD Positions at the department of Computer Science and Engineering, Chalmers

[Ana Bove]

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://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK

_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
http://www.cse.chalmers.se/~bove
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240222/30cd49b2/attachment.html>