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

[Viorica Sofronie-Stokkermans]

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

                  https://userpages.uni-koblenz.de/~sofronie/project-ebm/

is available at the University Koblenz-Landau, in the group Formal Methods and
Theoretical Computer Science led by Prof. Dr. Viorica Sofronie-Stokkermans
http://www.uni-koblenz.de/~sofronie/

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

Tasks
=====
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.

Profile:
--------
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.

Application:
------------
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,
Universitätsstr.1,
D-56070 Koblenz Germany

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