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: Post-doc position
Wymagania:
Kandydaci/kandydatki muszą spełnić następujące warunki:
- posiadają stopień doktora w dyscyplinie informatyka lub informatyka techniczna i telekomunikacja lub pokrewnych uzyskany nie wcześniej niż 12 lat temu (okres ten może zostać wydłużony o czas trwania urlopów macierzyńskich i rodzicielskich lub długotrwałej niezdolności do pracy z powodu choroby).
- posiadają udokumentowane doświadczenie w tworzeniu i analizie formalnych języków modelowania oraz logik temporalnych, epistemicznych i czasu rzeczywistego.
-posiadają znajomość systemów agentowych, w tym technik modelowania i weryfikacji systemów wieloagentowych.
-posiadają praktyczne doświadczenie w pracy z solverami SAT/SMT oraz metodami opartymi na diagramach decyzyjnych.
-posiadają umiejętność projektowania i implementacji prototypowych narzędzi do weryfikacji formalnej w językach takich jak C++, Python lub Java.
-posiadają doświadczenie w przeprowadzaniu i ocenie skalowalnych eksperymentalnych benchmarków.
- są biegli w analizie danych oraz interpretacji wyników eksperymentalnych.
-posiadają umiejętność samodzielnej pracy nad zadaniami badawczymi i implementacyjnymi oraz efektywnej współpracy w zespole badawczym.
- wykazują bardzo dobra znajomość języka angielskiego w mowie i piśmie.
- kierownik projektu (dr hab. Bożena Woźna-Szcześniak, prof. UJD) nie była jej promotorem ani promotorem pomocniczym rozprawy doktorskiej kandydata;
- uzyskały stopień doktora w podmiocie innym niż Uniwersytet Jana Długosza w Częstochowie, lub odbyły co najmniej 10-miesięczny, ciągły i udokumentowany staż podoktorski w podmiocie innym niż Uniwersytet Jana Długosza w Częstochowie oraz w kraju innym niż kraj uzyskania stopnia doktora;
- będą zatrudnione na okres nie krótszy niż 6 miesięcy;
- w okresie pobierania wynagrodzenia z projektu UMO-2025/57/B/ST6/00049 nie będą pobierać innego wynagrodzenia ze środków przyznanych w ramach kosztów bezpośrednich z projektów badawczych finansowanych w ramach konkursów NCN;
- w okresie pobierania wynagrodzenia z projektu UMO-2025/57/B/ST6/00049 nie będą pobierać wynagrodzenia u innego pracodawcy na podstawie umowy o pracę, w tym również u pracodawcy z siedzibą poza terytorium Polski;
- w okresie pobierania wynagrodzenia z projektu UMO-2025/57/B/ST6/00049 nie będą pobierać świadczeń emerytalnych z systemu ubezpieczeń społecznych.
Osoba zatrudniona na tym stanowisku będzie brała udział w pełnym cyklu badawczym – od teorii, przez algorytmikę, aż po implementację i testy systemów wieloagentowych czasu rzeczywistego.
1. Prace Teoretyczne i Modelowanie
- Opracowanie formalnych struktur matematycznych dla systemów ORTMAS (Open Real-Time Multi-Agent Systems).
- Rozwój logik epistemiczno-temporalnych, które będą służyły do specyfikacji:
(a) Właściwości zobowiązań: Jak agenci wchodzą w interakcje i dotrzymują warunków współpracy.
(b) Właściwości poprawności: Weryfikacja, czy system działa zgodnie z założeniami w reżimie czasowym.
2. Algorytmika i Weryfikacja Formalna
- Projektowanie algorytmów BMC (Bounded Model Checking) wykorzystujących narzędzia SMT (Satisfiability Modulo Theories) w celu automatycznej weryfikacji systemów ORTMAS.
- Rozwój alternatywnych metod weryfikacji wykorzystujących zaawansowane struktury danych.
3. Implementacja i Ewaluacja Eksperymentalna
- Praktyczna implementacja zaprojektowanych algorytmów.
- Tworzenie skalowalnych scenariuszy testowych (benchmarks) oraz przeprowadzanie rygorystycznej oceny uzyskanych wyników eksperymentalnych.
Termin składania ofert: 27 kwietnia 2026, 15:00
Forma składania ofert: email
Warunki zatrudnienia:
Okres zatrudnienia: od 15.04.2026 na maksymalny okres 36 mc.
wymiar etatu: pełny etat
miejsce wykonywania pracy: Uniwersytet Jana Długosza w Częstochowie
Kryteria oceny:
Na podstawie przesłanych dokumentów kandydaci i kandydatki zostaną ocenieni, biorąc pod uwagę ich przygotowanie do prowadzenia badań w projekcie i kwalifikacje przydatne w tej pracy, a także doświadczenie naukowe i dotychczasowe publikacje. Najwyżej ocenieni kandydaci/kandydatki zostaną zaproszeni na rozmowę kwalifikacyjną.
Skala ocena punktowej kandydatów:
• Ocena przygotowania/kwalifikacji przydatnych do stanowiska na podstawie poprzedniej działalności naukowej;
• Ocena wcześniejszych publikacji;
• Ocena doświadczenia naukowego (uczestnictwo w konferencjach, prezentacje, współpraca itp.);
W sumie do uzyskania jest 100 pkt. od każdego z członków komisji konkursowej. Wygrywa kandydat, który spełni warunki przystąpienia do konkursu i uzyska najwyższą liczbę punktów.
Wymagane dokumenty:
- list motywacyjny zawierający oświadczenie o treści: „Wyrażam zgodę na przetwarzanie moich danych osobowych zawartych w ofercie dla potrzeb niezbędnych do realizacji procesu rekrutacji (zgodnie z ustawą z dnia 29 sierpnia 1997 roku o ochronie danych osobowych, Dz. U. 2016 r., poz. 922 j. t.)”;
- CV zawierające informacje o dotychczasowych osiągnięciach naukowych i wyróżnieniach wynikających z dotychczas prowadzonych badań (w tym przede wszystkim wyszczególnienie publikacji w czasopismach naukowych, wystąpień konferencyjnych, udziału w projektach badawczych, stażach, szkoleniach oraz otrzymane nagrody, stypendia i inne wyróżnienia za działalność badawczo-naukową);
- odpis dyplomu uzyskania stopnia doktora
Kontakt:
dr hab. Bożena Woźna-Szcześniak, prof. UJD,
Wydział Nauk ścisłych, Przyrodniczych i Technicznych, Uniwersytet Jana Długosza w Częstochowie Al. Armii Krajowej 13/15, 42-200 Częstochowa,
email: b.wozna@ujd.edu.pl