Postdoc Positions

Organisation/Company Jan Dlugosz University in Czestochowa Department Faculty of Science and Technology Research Field Information science Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Final date to receive applications 14 Aug 2026 - 15:00 (Europe/Warsaw) Country Poland Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 14 Jul 2026 Is the job funded through the EU Research Framework Programme?

Other EU programme Is the Job related to staff position within a Research Infrastructure? No

The person employed on this device will be part of the research key - theory, through algorithms, to the implementation and testing of real-time multi-agent systems.

• Theoretical Work and Modeling
• Algorithms and Formal Verification
• Implementation and Experimental Evaluation

E-mail b.wozna.pl

Research Field Information science Education Level PhD or equivalent

• A PhD in computer science or technical computer science and telecommunications or a related field within the last 12 years.
• Demonstrated experience in the development and analysis of formal modeling languages and temporal, epistemic, and real-time logics.
• Knowledge of agent-based systems, including techniques for modeling and verifying multi-agent systems.
• Practical experience with SAT/SMT solvers and decision diagram-based methods.
• Ability to design and implement prototype formal verification tools in languages such as C++, Python, or Java.
• Experience in conducting and evaluating scalable experimental benchmarks.
• Proficiency in data analysis and interpretation of experimental results.
• Ability to work independently on research and implementation tasks and collaborate effectively within a research team.
• Very good knowledge of English in speech and writing.

he competition is open to individuals who meet the requirements specified in Article 113 of the Law on Higher Education and Science of 20 July 2018 (Journal of Laws of 2024, item 1571 ; Polish:Dz. U. z 2024 poz. 1571 t.j.) and who meet the

• PhD in physics sciences/chemical sciences obtained not earlier than 7 years ago (this period may be extended by the duration of maternity and parental leaves, or long-term incapacity to work due to illness),
• The project leader (prof. dr hab. Malgorzata Makowska-Janusik) was not the supervisor or the auxiliary supervisor of the candidate’s doctoral dissertation;
• A doctoral degree was obtained in an entity other than Jan Dlugosz University in Czestochowa or the candidate completed a continuous and documented postdoctoral fellowship for at least 10 months in an entity other than the entity implementing this project and in a country other than the country of obtaining the doctoral degree;