Uniwersytet Wrocławski

W ramach projektu NCN Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne kierowanego przez prof. Witolda Charatonika można ubiegać się o dwa stypendia doktoranckie.

Wymagania:

• Status doktoranta na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego.
• Dobra znajomość asystenta dowodzenia twierdzeń Coq.
• Znajomość maszyn abstrakcyjnych dla języków programowania.
• Motywacja do prowadzenia pracy badawczej, kreatywność i niezależność w rozwiązywaniu problemów.
• Doświadczenie w pracy naukowej.

Opis zadań:

• Praca badawcza w ramach projektu, z naciskiem na konstrukcję, analizę i optymalizację maszyn abstrakcyjnych dla strategii hybrydowych oraz implementację wybranych maszyn i strategii w~systemie Coq.
• Przygotowywanie materiałów do publikacji naukowych.
• Prezentowanie wyników na konferencjach naukowych.

Warunki zatrudnienia:

• Stypendium naukowe w wysokości 2000 zł miesięcznie.
• Okres zatrudnienia od kwietnia 2020 do października 2021 (19 miesięcy), z perspektywą przedłużenia o kolejnych 15 miesięcy.
• Stypendium można łączyć z innymi stypendiami otrzymywanymi od UWr, w tym ze stypendium doktoranckim.
• Dodatkowe fundusze na udział w konferencjach naukowych, szkołach, itp.

Termin składania ofert: 16 marca 2020, 00:00.

Wymagane dokumenty:

• Podanie z życiorysem, listą publikacji, opisem osiągnięć, staży i zgodą na przetwarzanie danych osobowych do celów rekrutacji.
• Potwierdzenie statusu doktoranta.
• Adresy mailowe osób, które można poprosić o rekomendacje (np. adres doświadczonego współpracownika naukowego lub promotora pracy magisterskiej).

Ocena aplikacji kandydatów zostanie przeprowadzona przez komisję konkursową zgodnie z regulaminem przyznawania stypendiów naukowych w projektach NCN. Komisja zastrzega sobie prawo do przeprowadzenia rozmów kwalifikacyjnych z wybranymi kandydatami oraz do nieprzyznania stypendium i ponowienia konkursu. Dokumenty przygotowane w języku polskim lub angielskim należy przesłać w formie elektronicznej na adres witold.charatonik@cs.uni.wroc.pl. Konkurs zostanie rozstrzygnięty do 23 marca.