Hi all, I'm looking to hire two new PhD students to work on interactive theorem proving and functional programming, more precisely: on CakeML-related topics (https://cakeml.org/) in HOL4 (https://hol-theorem-prover.org/). Kindly pass this on to potential applicants.
* Application deadline: 25 April 2017 * Interviews start: 3-4 May 2017 * Starting date: flexible but preferably no later than Sept 2017 The formal advert is here: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=4954 Contact me if you have questions regarding these positions. Kind regards, Magnus ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
