[DL] PhD/Postdoc position (Craig interpolation for explainable belief merging) at the University Koblenz

Viorica Sofronie-Stokkermans sofronie at uni-koblenz.de
Wed Mar 30 00:34:58 CEST 2022

A position at PhD or postdoc level in the project Explainable Belief Merging


is available at the University Koblenz-Landau, in the group Formal Methods and
Theoretical Computer Science led by Prof. Dr. Viorica Sofronie-Stokkermans

The position will start as soon as possible, and will be available for 3 years.

The main goals of the research activity will be:
-  investigating and developing novel techniques, methodologies and tools
   for Craig Interpolation and for symbol elimination in extensions and
   combinations of theories,
-  investigating the applicability of these methods to extending existing
   approaches to belief merging with better explanation capabilities, and
-  developing new formal approaches to belief merging based on
   Craig Interpolation and/or symbol elimination techniques.

Candidates must have a strong background in logic.
Familiarity with automated reasoning, Craig Interpolation, satisfiability
modulo theories (SMT), and/or belief merging will be an advantage.

Applicants should send their application, consisting of:
- a statement of interest,
- a Curriculum Vitae
- a list of publications and
- the names of at least two references

per E-Mail to: Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de)

Deadline for sending the applications:  April 24, 2022

Applications might be accepted also after this deadline, until the position is filled.

Please feel free to forward this to potential candidates.
Questions about the position can be sent to Viorica Sofronie-Stokkermans
(E-Mail: sofronie at uni-koblenz.de)


Prof. Dr. Viorica Sofronie-Stokkermans

University Koblenz-Landau,
D-56070 Koblenz Germany

Email: sofronie at uni-koblenz.de
Phone: +49 261 287-27 80
Fax: +49 261 287-27 31

More information about the dl mailing list