Postdoctoral Research Position in Real-Time Multi-Agent Systems and Formal Verification Jan Dlugosz University in Czestochowa in Poland

This postdoctoral research position at Jan Dlugosz University in Czestochowa, Faculty of Science and Technology, offers an exciting opportunity to contribute to the development, modeling, and formal verification of real-time multi-agent systems. The successful candidate will engage in theoretical work, algorithm design, formal verification, and the implementation and experimental evaluation of agent-based systems. The research will focus on advanced modeling languages, temporal, epistemic, and real-time logics, and the creation of prototype tools using languages such as C++, Python, or Java. Practical experience with SAT/SMT solvers and decision diagram-based methods is highly valued, as is the ability to conduct scalable experimental benchmarks and interpret data analysis results.

Applicants must hold a PhD in computer science, technical computer science and telecommunications, or a related field obtained within the last 12 years. Candidates with a PhD in physics or chemical sciences obtained not earlier than 7 years ago are also eligible, with possible extensions for parental leave or illness. The project leader, Professor Malgorzata Makowska-Janusik, must not have supervised the candidate’s doctoral dissertation. The doctoral degree must have been obtained from an institution other than Jan Dlugosz University in Czestochowa, or the candidate must have completed a continuous and documented postdoctoral fellowship of at least 10 months in a different entity and country. Excellent English proficiency in both speech and writing is required, and knowledge of Polish at a mother tongue level is preferred.

The position is full-time (40 hours per week) and funded through an EU programme. The contract is temporary, with the offer starting on 26 March 2026. The application deadline is 27 April 2026 at 15:00 (Europe/Warsaw). Applicants should download and complete the internal application form (WNSPT.111_13.2026-post doc.pdf) and submit their application via email to [email protected]. Additional information and documents are available on the university website. The research environment is collaborative, and candidates are expected to work independently as well as effectively within a team.

For further details, visit the university’s job details page or contact the Faculty of Science and Technology at Jan Dlugosz University in Czestochowa. This position is ideal for researchers with a strong background in formal verification, multi-agent systems, and experimental evaluation, seeking to advance their academic career in a dynamic and innovative setting.