[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We offer a fully funded PhD position with travel budget in the DistriNet
research group of the dept. of Computer Science at KU Leuven, Belgium.
The PhD researcher would work on the implementation of multimodal type
theory (MTT) for Agda,
which also entails more analytical research to bridge the gap currently
existing between theory and practice.
For more information, see:
https://urldefense.com/v3/__https://downloads.distrinet-research.be/jobs/PhD-Agda.pdf__;!!IBzWLUs!Rz-UJZmo9eS3DFZAQrnkOjEjeCPvbSJWJr1MTtYQF8eqVfBZxaRDcDJnd8aIicAs6BB__NrlbjYv5INWGQDql-wKaD5gAW9Ad5dhtFYhwg$
(The same page can also be reached via the more recognizable domain
https://urldefense.com/v3/__https://distrinet.cs.kuleuven.be/jobs/jobs__;!!IBzWLUs!Rz-UJZmo9eS3DFZAQrnkOjEjeCPvbSJWJr1MTtYQF8eqVfBZxaRDcDJnd8aIicAs6BB__NrlbjYv5INWGQDql-wKaD5gAW9Ad5cTRfD7fw$ .)
For working conditions, including a competitive salary/scholarship
automatically adapted to the evolving cost of living as per Belgian
legislation, see:
https://urldefense.com/v3/__https://www.kuleuven.be/personeel/jobsite/en/phd/phd-information*working-conditions__;Iw!!IBzWLUs!Rz-UJZmo9eS3DFZAQrnkOjEjeCPvbSJWJr1MTtYQF8eqVfBZxaRDcDJnd8aIicAs6BB__NrlbjYv5INWGQDql-wKaD5gAW9Ad5cx-cyJAw$
Closing date for applications: Nov 15, 2024.
Best regards,
Andreas Nuyts
Dominique Devriese
