[TYPES/announce] PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes

[Donaldson, Alastair F]

Dear all

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes (with a specific focus on concurrency).

Deadline: please contact me before 30th April if you are interested.

Details here: https://urldefense.com/v3/__https://www.doc.ic.ac.uk/*afd/PhD-Advert-ML-Compilers.pdf__;fg!!IBzWLUs!Q7PAkblexhN1rhz4zXOMPbs69EMM_gzV-RDkzHvNbEBFpasffkA81oIKLF972LupC_fdApnFOfJupkGDzILDl1OkE1rS0DcUeRM3Tn5shkv9WdI$ 

Please spread the word to anyone who you think might be interested!

Thanks

Ally




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250318/2d965708/attachment.htm>