Oferty pracy w projektach finansowanych przez NCN
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.
Oferta pracy
Nazwa stanowiska: Stypendysta/Student (2 stanowiska)
Wymagania:
Dobre przygotowanie w zakresie logiki, matematyki dyskretnej, teorii automatów, teorii obliczeń
Motywacja do pracy naukowej
Biegła znajomość języka angielskiego
Bycie studentem studiów: pierwszego stopnia, drugiego stopnia lub jednolitych studiów magisterskich, realizowanych na terytorium Polski
Projekt dotyczy rygorystycznej analizy algebraicznej modeli obliczeń wzbogaconych o dane a jego tematyka leży na pograniczu teorii automatów, teorii współbieżności i weryfikacji formalnej. Koncentrujemy się na rozszerzeniu klasycznych modeli obliczeń takich jak automaty licznikowe lub automaty skończone, które umożliwiają manipulowanie danymi. W zależności od wyboru dziedziny danych, rozszerzenie zwiększa siłę ekspresji, umożliwiając modelowanie identyfikatorów procesów, znaczników czasu, nazw, itp.
Typ konkursu NCN: OPUS – STTermin składania ofert: 15 sierpnia 2026, 12:00
Forma składania ofert: email
Warunki zatrudnienia:
Sposób przesyłania zgłoszeń: na adres s.lasota@uw.edu.pl (temat wiadomości: Stypendium naukowe).
Warunki: stypendium w wysokości 2000 PLN/m-c na okres 12 m-cy, z możliwością przedłużenia.
Rozpoczęcie realizacji stypendium: 1 września lub 1 października br., zgodnie z ustaleniami pomiędzy kierownikiem projektu a kandydatem/-tką.
Aplikacje powinny zawierać:
• CV zawierające informacje o wykształceniu i ew. doświadczeniu badawczym lub udziale w konferencjach
• List motywacyjny
• Klauzulę RODO: „Wyrażam zgodę na przetwarzanie moich danych osobowych zawartych w mojej ofercie 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óźn. zm.)”
Ogłaszamy konkurs na dwa stypendia naukowe studenckie w ramach projektu badawczego Opus „Weryfikacja formalna w modelach obliczeń rozszerzonych o dane”, finansowanego ze środków Narodowego Centrum Nauki (2024/55/B/ST6/01674).
Kierownik projektu: prof. Sławomir Lasota (www.mimuw.edu.pl/~sl).