[TYPES/announce] PhD position on multimodal Agda @ KU Leuven, Belgium

[Andreas Nuyts]

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