[TYPES/announce] Funded PhD studentship on verified compilers
Scott Owens
S.A.Owens at kent.ac.uk
Fri Dec 5 07:43:20 EST 2014
I'm looking for a PhD student to work with me adding concurrency to the CakeML verified compiler (https://cakeml.org). The position is fully funded for students from the UK or EU. The application deadline is 15 January, 2015.
http://www.jobs.ac.uk/job/AJW215/funded-phd-project-concurrent-cakeml/
Scott Owens
School of Computing
University of Kent
Canterbury, United Kingdom
More information about the Types-announce
mailing list