[TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering
Ana Bove
bove at chalmers.se
Mon Jul 10 15:54:17 EDT 2023
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>
More information about the Types-announce
mailing list