Adiunkt / adiunktka

Adiunkt/ adiunktka- stanowisko badawcze (typu Post-doc)

Zakres obowiązków

• Obowiązki zgodne z regulaminem pracy Uniwersytetu Jana Długosza w Częstochowie

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

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