[Agda] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering

[Ana Bove]

Dear All,

The Computer science and engineering department at Chalmers university 
of technology and University of Gothenburg has now an opening for four 
PhD student positions to be placed at the University of Gothenburg.
_Deadline for application is 20th of August._

There is a list of potential projects and supervisor, among them

*Nils Anders Danielsson* on /Formalising cubical type theory /

and

*Christian Sattler* on /Homotopy type theory and constructive higher 
category theory/

If you are interested in these topics please consider applying for the 
positions!

Please observe that one is employed during the phd studies in Sweden, 
with all normal benefits an employee has (pension, sick leave, parental 
leave, etc).

For more information about the possible projects and the applications 
process please visit

https://web103.reachmee.com/ext/I005/1035/job?site=7

Do not hesitate to contact Nils Anders <nad at chalmers.se> or Christian 
<sattler at chalmers.se> directly if you have further questions about these 
particular 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/20230710/9624e047/attachment.html>