Opis stanowiska
Adiunkt/ adiunktka- stanowisko badawcze (typu Post-doc)
Nasze wymagania
- Uzyskanie stopnia doktora w dyscyplinie informatyka lub informatyka techniczna i telekomunikacja lub pokrewnych w ciągu ostatnich 12 lat
- Udokumentowane doświadczenie w tworzeniu i analizie formalnych języków modelowania oraz logik temporalnych, epistemicznych i czasu rzeczywistego
- Znajomość systemów agentowych, w tym technik modelowania i weryfikacji systemów wieloagentowych
- Praktyczne doświadczenie w pracy z solverami SAT/SMT oraz metodami opartymi na diagramach decyzyjnych
- Umiejętność projektowania i implementacji prototypowych narzędzi do weryfikacji formalnej w językach takich jak C++, Python lub Java
- Doświadczenie w przeprowadzaniu i ocenie skalowalnych eksperymentalnych benchmarków
- Biegłość w analizie danych oraz interpretacji wyników eksperymentalnych
- Umiejętność samodzielnej pracy nad zadaniami badawczymi i implementacyjnymi oraz efektywnej współpracy w zespole badawczym
Mile widziane
- Bardzo dobra znajomość języka angielskiego w mowie i piśmie
Zakres obowiązków
- Obowiązki zgodne z regulaminem pracy Uniwersytetu Jana Długosza w Częstochowie
Dokumenty wymagane do rekrutacji
- 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