Oferta pracy w grancie NCN SONATA BIS 2017/26/E/HS1/00127
grant kierowany przez prof. UAM dr hab. Dorot¦ Leszczy«sk¡-Jasion
Nazwa jednostki: Zakªad Logiki i Kognitywistyki, Wydziaª Psychologii i Ko- gnitywistyki UAM
Nazwa stanowiska: magistrant(ka)-stypendyst(k)a Wymagania:
Dobra znajomo±¢ j¦zyka programowania Haskell.
Podstawowa wiedza z zakresu logiki klasycznej i logik nieklasycznych, teorii dowodu, automatycznego dowodzenia twierdze«.
Znajomo±¢ algorytmów optymalizacyjnych.
Lista wymaganych dokumentów:
dyplom uzyskania tytuªu licencjata lub za±wiadczenie o studiowaniu na 4. lub 5. roku jednolitych studiów magisterskich,
za±wiadczenie o uko«czeniu kursów, które po±wiadczaj¡ wymagane umiej¦tno±ci (mo»e to by¢ informacja z systemu USOS),
CV.
Opis zada«:
Wspóªpraca w pracach implementacyjnych w j¦zyku Haskell pod nad- zorem dra Szymona Chlebowskiego.
Wspóªpraca przy opisie mo»liwo±ci wykorzystania algorytmów optyma- lizacyjnych w automatycznym dowodzeniu twierdze«, praca pod nad- zorem dra in». Marcina Jukiewicza.
Uczestnictwo w seminarium grantowym.
Typ konkursu NCN: SONATA BIS
Termin skªadania ofert: 20 listopada 2020, 23:59 Forma skªadania ofert: email, dorotale@amu.edu.pl
Warunki zatrudnienia: Stypendium 1000 zª/miesi¡c na okres 4 miesi¦cy Dodatkowe informacje:
Prosimy o zamieszczenie w zgªoszeniu nast¦puj¡cej informacji: Wyra»am zgod¦ na przetwarzanie moich danych osobowych dla potrzeb niezb¦dnych do realizacji procesu rekrutacji zgodnie z Ustaw¡ z dnia 29 sierpnia 1997 r.
o ochronie danych osobowych ( Dz. U. z 2016 r. poz. 922 z pó¹«. zm.)
1