[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 <[email protected]> or Christian
<[email protected]> 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
