Dwa stypendia w projekcie Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

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.