Email Gateway (Aug 22 2022 at 15:18): Email Gateway (Aug 22 2022 at 15:18):From: Magnus Myreen <myreen@chalmers.se>
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
Last updated: Apr 26 2024 at 16:20 UTC