Narodowe Centrum Nauki prezentuje bazę ogłoszeń o wolnych stanowiskach pracy przy projektach finansowanych przez Centrum. Narodowe Centrum Nauki nie ponosi odpowiedzialności za treść i wiarygodność przesyłanych ofert pracy.
Uprzejmie informujemy o nowych warunkach zatrudniania osób na stanowiska typu post-doc: limit czasu upływającego od uzyskania stopnia doktora dla aplikujących na te stanowiska kobiet może być przedłużony o 1,5 roku za każde urodzone bądź przysposobione dziecko.
Wymagania:
1. Stopień magistra matematyki lub informatyki.
2. Dobre przygotowanie w zakresie logiki, teorii automatów, teorii złożoności, matematyki dyskretnej.
3. Biegła znajomość języka angielskiego.
4. Motywacja do pracy naukowej.
W momencie rozpoczęcia stypendium kandydat musi być słuchaczem Szkoły Doktorskiej.
Zasady przyznawania stypendiów w ramach projektów finansowanych przez NCN określa regulamin – załącznik do uchwały Rady NCN 25/2024 z dnia 4 marca 2024 r.
Tematyka projektu leży na pograniczu teorii automatów, teorii współbieżności i weryfikacji formalnej.
Typ konkursu NCN: OPUS – STStypendium miesięczne wyniesie do 5000 PLN i będzie przyznane na okres 21 miesięcy, do września 2027 r.
Dodatkowe informacje:Konkurs na stypendium naukowe w grancie OPUS „Weryfikacja formalna w modelach obliczeń rozszerzonych o dane" finansowanym przez Narodowe Centrum Nauki (2024/55/B/ST6/01674).
Kierownik projektu: prof. Sławomir Lasota (https://www.mimuw.edu.pl/~sl/)
Forma składania zgłoszeń: e-mail na adres: sl@mimuw.edu.pl
Wymagane dokumenty: CV, karta przebiegu studiów, opis zainteresowań i osiągnięć naukowych.
Rozpoczęcie pracy w projekcie: 01.01.2026.