[TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering

[Ana Bove]

Sorry, the url should be

https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163__;!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9BFBvcoSg$  
<https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163__;!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9BFBvcoSg$ >

On 2023-07-10 19:00, Ana Bove wrote:
> [ The Types Forum (announcements only),
>       http://lists.seas.upenn.edu/mailman/listinfo/types-announce  ]
>
>
> 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://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7__;!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9ALlu4Zyg$ 
>
> 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
> https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9AKhp1Bcg$ 
> Department of Computer Science and Engineering
> Chalmers Univ. of Technology and Univ. of Gothenburg

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!VZ_92vIOONtnunEQvIcMboBttflqIzbd9_TDyCQCzaTlLIMeX93fHtGiy24De6uOMo5WQoLACCgiUdnNg9_Ee9AKhp1Bcg$ 
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230710/e6963f10/attachment.htm>