coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Two PhD positions on CakeML and HOL at Chalmers, Sweden

From: Magnus Myreen <myreen AT chalmers.se>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] Two PhD positions on CakeML and HOL at Chalmers, Sweden
Date: Mon, 27 Mar 2017 09:52:35 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=myreen AT chalmers.se; spf=None smtp.mailfrom=myreen AT chalmers.se; spf=None smtp.helo=postmaster AT martell.ita.chalmers.se
Ironport-phdr: 9a23:Tz7JbRXYNBOPo+s3dXbgmqSqBljV8LGtZVwlr6E/grcLSJyIuqrYbBaDt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/XhMJ+j79Vrgy9qBx+2IPUfJ2ZOeBicq/BYd8XR2xMVdtRWSxbBYO8apMCAe0bMuZXqYn9ukAOpga5CwisHuPg1CFHhnnr1qA91uQgERvG0xI+ENIIq3nbsNX1O70WUeCw0qbI1y7DY+lN2Tjj8YXFdA0qr/+LXbJ1a8XRyE8vGhvZgVqKqozqITaV1uAXv2ic9epgWvqji24gqwF1uzSv2scshZfOhoIP1F/E8Dx1wJ4vJd2/Vk50f8SkHIFXtyGAOIt6Wt8tQ2FytyY+z70Jp4S7fDMQxJQ82RHSbeGMfYuQ4h/7SeqdPzN1iGh4dL++nRq+71asx+zmWsWp3ltHoTJJnsTSun0JzRDf98mKRuFg8ku9wzqDyQ/e5+FCLEspj6TUMYQhzaQ1lpcLsUTMACv2mELuga+TbEok4PSo5PrjYrXivJOcNpN0hRvkPqsymsywG+A4Mg0QUGiB4uSwzqbj8lPhTLVLiP05jLXZvYjHKcgFoqO1GRJZ34c55xqhETur0c4UkWQJIV9KYB6HipLmO1DKIPD2F/e/hFGsnS9ux/HGJL3uHIvCLn7Ynbj9fbZy8UpcyA8twtBF/JJYEKoBL+zrVk/rqNPYFgM5MxCzw+v/FNp90ZoeVXuTDa+dLaPdqkSF5vkvIumJfI8aoizxK/kj5/70jH82g0URfaez3chfVHftSv9hOgCSZWfmqtYHC2YD+AQkGr/EklqHBBtaaHCvROoZ9ys2BYTuWYLSXI2ghpSK3C6/G5BMfSZdBwbfQj/Ta4yYVqJUO2qpKch7n2lcWA==

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

[Coq-Club] Two PhD positions on CakeML and HOL at Chalmers, Sweden, Magnus Myreen, 03/27/2017