[DL] PhD/Postdoc position (Craig interpolation for explainable belief merging) at the University Koblenz
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
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