Verifying Effectful Haskell Programs in Coq - DAAD Rise Germany
Our research group participates in the DAAD Rise Germany program.
DAAD?
DAAD means “Deutscher Akademischer Austauschdienst”, which translates to German Academic Exchange Service. The DAAD is the world’s largest funding organisation for the international exchange of students and researchers.
RISE?
RISE stands for Research Internships in Science and Engineering. RISE Germany offers undergraduate students from North American, British and Irish universities the opportunity to complete a summer research internship at top German universities and research institutions. RISE Germany is funded by the German Federal Foreign Office.
How does Rise Germany work?
- Students are matched with a host university or institute according to their area of interest (biology, chemistry, physics, earth sciences, engineering, or a closely related field)
- DAAD provides students a monthly stipend for three months to help cover living expenses
- Host universities, universities of applied sciences (UAS) and institutes provide housing assistance and match students with Ph.D. student mentors or researchers (only UAS)
- German language is not required and the working language will be in English
Who can apply?
To apply for an internship placement for summer 2020 you must:
- be currently enrolled at a university/college in the United States, Canada, the UK or Ireland as a full-time student in the field of biology, chemistry, computer science, physics, earth sciences or engineering (or a closely related field)
- be an undergraduate who will have completed at least 2 years of a degree program by the time of the internship placement
- prove that you will maintain undergraduate status after the internship has taken place
Cool, but what will I be working on?
Anything else I can read?
Our compiler is based on the papers One Monad to Prove Them All and Verifying effectful Haskell programs in Coq.
Where can I apply?
There is an application portal with useful information about prerequisites and the application process. The reference code for this project is Kiel_CS_CS_3958 and the application deadline is December 15, 2019 (11:59 pm CET – Central European Time).
I have a question!
Please feel free to contact us: {nbu, sad} (at) informatik.uni-kiel.de
You can also leave a comment on reddit.