I'm looking for a PhD student to work with me adding concurrency to the CakeML verified compiler in HOL4 (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 ------------------------------------------------------------------------------ Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info