coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Summer internship with a Coq-related project (DAAD Rise Germany)

From: Niels Bunkenburg <nbu AT informatik.uni-kiel.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Summer internship with a Coq-related project (DAAD Rise Germany)
Date: Tue, 19 Nov 2019 17:40:49 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nbu AT informatik.uni-kiel.de; spf=None smtp.mailfrom=nbu AT informatik.uni-kiel.de; spf=None smtp.helo=postmaster AT steinadler.informatik.uni-kiel.de
Ironport-phdr: 9a23:ub6kSRcL18IbKdWZA+0anratlGMj4u6mDksu8pMizoh2WeGdxcS8YR7h7PlgxGXEQZ/co6odzbaP6Oa5BTxLsMzJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/MusQZgoZuJaI8xgXUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwFxzZDXbo+bOvVxcb/Sc9wBSGpdXMtcTTBNDp+yYoYNCecKIOZWr5P6p1sLtRawHQisC/3ryj9Tm3T7wLA60+IiEQ7Y2gwvBM8OsG7brN7oM6oSV/u6zLTTwDXCafNW1zD96JLNch87vfGMXLFwfdDMyUkpFgPJl1aQqY37MDORzOgCrnaU4vNmWOmyhWAnrARxrSKuxscqkoTGnZ8VylbH9SpnxoY6PsC4SFR0YdK+FptfqT2aO5NrTcw4WW5npTw2xaAYtpO9YSMEy4wnygbCZ/GJfIWE+AzvWemRLDtimn5od7Gyiwyv/UWkyuDwTtS43VhFoyZfjNXBuXAA2wbc58WIUPdx40Os1DCS3A7J8O5EO1o7la/DJp4h3LEwkp0TvFzYHi/qhkr2jamWeV859eis9evneK/qpp6aN496jQH+KKEuldajAeQ5MQgCRXWb+eK91LH6/k35QatFjvksnqbErp/WPcUbpqinDA9Jyosv9hiyAji83NgGknQKLEhJdAyIgoXqIV3CPfT1APenj1SpijhrxvTGPrP7ApXKK3jOiLHhcq1g60NHyQozy95f55VOCrEEOv3zRk7xtN/CAh8kNQy0wv/rCNZ81owAXWKDGLKWP73KvV+S+u0vO/WMZJMSuDvlN/cl4OfugWYlll8ZYKmmxoAaaGu4H/RjO0WWe2DggtYHEWcQvwoxVvbmiFOYUW0bW3HnVKUlozo/FYiODIHZR4nrjqbS8j28G8hwZ21CERimDHHreoOORu0DIHaUKNJJkzoKUqKkQpMg1lezsg6/yLtqKqzY93tL5trYyNFp6riLxlkJ/jtuApHFijDffyRPhmoNAgQO8uV6qE15xE2E1PIk0f1eG9tJ4vpVUwR8KJjdiu97BtS0Vg+TJo7UGmbjec2vBHQKdvx0w9IKZB0gSc6+gxHF1iauDqVTlrqFA4Yx+77d3D7sIcc4yHfL0O8tggt+G5cdBSidnqd6sjPrKcvRiUzDy/Src6obxivE6GaAi3eIvQRbUQN0F6nIDygS

My department (PL and compiler construction) at the University of Kiel, Germany, offers a summer internship in 2020 sponsored by DAAD Rise Germany [1]. The topic of the project is verification of effectful Haskell programs in Coq. For a brief overview of the internship and the topic, please have a look at the project page [2].

We'd be very happy to host a motivated student who likes working with our haskell-to-coq compiler. Depending on personal interests, the focus of the internship can be the compiler itself or its output and the Coq framework for reasoning about the generated code. Previous knowledge of Coq is not required!

If you have any questions beforehand, feel free to reply directly or email us at the addresses listed on the project page. The program funding is based on the number of applications, so please spread the news to your colleagues, students or classmates!

Best regards,

Niels

[1] https://www.daad.de/rise/en/rise-germany/find-an-internship/
[2] https://bunkenburg.net/projects/2019-11-01-daad-rise.html

[Coq-Club] Summer internship with a Coq-related project (DAAD Rise Germany), Niels Bunkenburg, 11/19/2019