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

[Ana Bove]

Sorry, the url should be

https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163 
<https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163>

On 2023-07-10 19:00, Ana Bove wrote:
>
> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-- 
-- 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/11f50bbb/attachment.html>