Oferta pracy w projekcie NCN nr 2017/26/E/HS1/00127, pt. „Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranymi metodami obliczeniowymi”.
Stanowisko: doktorant-stypendysta
Termin składania ofert: 15 kwietnia 23:59
Na adres: Dorota.Leszczynska@amu.edu.pl
Szczegóły oferty na stronie NCN:
Polish
English
Ukrainian
German
Turkish
Russian