STANOWISKO:  adiunkt

INSTYTUCJA: Centrum Filozofii Przyrody UŁ

MIASTO: Łódź

STANOWISKO: adiunkt (w grupie pracowników badawczych)

WYMIAR GODZINOWY: 7/10 etatu

DYSCYPLINA NAUKOWA: Filozofia

DATA OGŁOSZENIA: 3.12.2024

TERMIN SKŁADANIA OFERT: 2.01.2025

LINK DO STRONY UCZELNI: www.uni.lodz.pl

DODATKOWE INFORMACJE: zgłoszenie na konkurs należy dostarczyć elektronicznie na adres:

andrzej.indrzejczak@filhist.uni.lodz.pl

SŁOWA KLUCZOWE: programowanie, automatyczne dowodzenie twierdzeń, algorytmy

OPIS STANOWISKA:

Pomoc w realizacji projektu polegająca na implementacji systemów dedukcyjnych (proof assistants, automated provers) i gromadzeniu danych.

WYMAGANIA:

• Posiadanie stopnia naukowego doktora filozofii, jak również przynajmniej magisterium z matematyki.

• Doświadczenie programistyczne, w tym znajomość co najmniej dwóch języków programowania.

• Udział w realizacji grantów (np. NCN lub ERC) na podobnym stanowisku.

• Posiadania dorobku naukowego powiązanego z zagadnieniem automatycznego dowodzenia twierdzeń bądź logiki obliczeniowej.

• Znajomość języka angielskiego pozwalająca na publikowanie i udział w konferencjach międzynarodowych

• Kandydat/ka musi spełnić warunek o niekaralności w zakresie przestępstw określonych w rozdziale XIX i XXV Kodeksu karnego, w art. 189a i art. 207 Kodeksu karnego oraz w ustawie z dnia 29 lipca 2005 r. o przeciwdziałaniu 2 narkomanii (t.j. Dz. U. z 2023 r. poz. 1939) oraz za odpowiadające tym przestępstwom czyny zabronione określone w przepisach prawa obcego.

Zastrzegamy sobie możliwości pozostawienia aplikacji kandydata bez rozpatrzenia w przypadku niezłożenia w terminie rekrutacji powyższych oświadczeń.

MILE WIDZIANE:

• Znajomość języka polskiego i niemieckiego.

• Doświadczenie w zakresie analizy danych, w szczególności znajomość algorytmów uczenia maszynowego.

ZAKRES OBOWIĄZKÓW:

Konstruowanie programów dowodzenia dla badanych teorii.

Prowadzenie bazy przykładów (benchmarks).

DOKUMENTY WYMAGANE DO REKRUTACJI:

Kopie dyplomów lub innych dokumentów potwierdzających kwalifikacje kandydata.

Załącznik nr 1 do Standardów Ochrony Małoletnich w UŁ Oświadczenie do celów weryfikacji w Rejestrze Sprawców Przestępstw na Tle Seksualnym (dostępny na stronie: https://www.uni.lodz.pl/kariera );

Załącznik nr 2 do Standardów Ochrony Małoletnich w UŁ Oświadczenie o niekaralności i zobowiązaniu do przestrzegania Standardów Ochrony Małoletnich w UŁ (dostępny na stronie: www.uni.lodz.pl/kariera )

Termin rozstrzygnięcia konkursu: 10.01.2025

Zastrzegamy sobie prawo przeprowadzenia rozmów kwalifikacyjnych z wybranymi osobami.

Wygranie konkursu nie gwarantuje zatrudnienia w Uniwersytecie Łódzkim.

filozofia

programowanie, automatyczne dowodzenie twierdzeń, algorytmy

10.01.2025