INSTITUTION: Center for the Philosophy of Nature

CITY: Lodz

POSITION: Assistant Professor (research employees)

HOURLY DIMENSION: 7/10 position

SCIENTIFIC DISCIPLINE: Philosophy

DATE OF ANNOUNCEMENT: 3.12.2024

DEADLINE FOR SUBMISSION OF OFFERS: 2.01.2025

LINK TO THE UNIVERSITY WEBSITE: www.uni.lodz.pl

ADDITIONAL INFORMATION: submissions should be sent on the email address:

andrzej.indrzejczak@filhist.uni.lodz.pl

KEYWORDS: Programming, Automated Theorem Proving, Algorithms.

DESCRIPTION:

Assistance in the realization of Project, in particular: implementation of deductive systems (proof assistants, automated provers) and collecting data.

REQUIREMENTS:

• PhD in philosophy, and at least MA degree in mathematics.

• Experience in programming, practical knowledge of at least two languages of programming.

• Experience in realization of similar tasks in other grants (e.g. ERC or Polish NCN grants).

• Publication history in automated theorem proving or computational logic.

• Fluency in English.

• The candidate must meet the condition of no criminal record for the crimes specified in Chapter XIX and XXV of the Penal Code, in Article 189a and Article 207 of the Penal Code and in the Act of 29 July 2005 on Counteracting Drug Addiction (Journal of Laws of 2023, item 1939) and for the prohibited acts specified in foreign law corresponding to these crimes. We reserve the right to leave the candidate's application without consideration in the case of failure to submit the above declarations by the recruitment deadline.

ADDITIONAL ADVANTAGES:

• Very good command of Polish and German.

• Experience in data analysis, in particular knowledge of machine learning algorithms.

RESPONSIBILITIES:

Construction of systems of deduction for investigated theories.

Collecting benchmarks.

DOCUMENTS REQUIRED FOR RECRUITMENT:

Copies of diplomas or other documents certifying the qualifications of the candidate.

Annex 1 to the Standards for the Protection of Minors at the UL Declaration for the purpose of verification in the Sex Offenders Register (available at: https://www.uni.lodz.pl/en/career );

Annex 2 to the Standards for the Protection of Minors at the UL Declaration of no criminal record and commitment to observe the UL Standards for the Protection of Minors (available at https://www.uni.lodz.pl/en/career )

Competition settlement deadline: 10.01.2025

We reserve the right to interview selected people.

Winning the competition does not guarantee employment at the University of Lodz.

philosophy

Programming, Automated Theorem Proving, Algorithms