Competition for doctoral scholarship

Unit name: University of Opole

Job title: scholarship holder

We are offering a grant to a PhD student within the NCN Polonez Bis project on the topic of Automating the Unification Problem in Descriptive Logics under the direction of Dr. Barbara Morawska. We are a small research group that researches and develops unification algorithms for concepts in small descriptive logics. We develop applications for the use of our algorithms especially in the management of large systems of concepts for medical documentation, called ontologies, such as SNOMED CT.

Requirements

• Candidate should have a graduate degree in computer science or mathematics
• The candidate should be familiar with classical logic, first-order logic and descriptive logics, especially EL and FL0 descriptive logics.
• The candidate should have a passion for research work involving solving theoretical problems at the intersection of logic and computer science.
• The candidate should be able to program in Java
• A good knowledge of English is required.

Additional condition:

• The candidate must be a doctoral student at the Doctoral School of the University of Opole.

Scholarship amount: PLN 2500 gross paid monthly for a period of 4 months.

Recruitment process: Candidates will be evaluated on the basis of submitted documents.

The candidate is asked to submit the following documents:

1. resume
2. graduation diploma and grade transcript
3. Master’s thesis and/or electronic publications

Please send your documents electronically to the following email address: unifdl@uni.opole.pl

Important dates:

• Deadline for submission of documents: until 26.05.2025
• Decision on awarding the scholarship: until 28.05.2025