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