Postdoc Researcher (m/f/x)

Zur Besetzung einer befristeten Vollzeitstelle (39,83) zum nächstmöglichen Zeitpunkt suchen wir 1 Postdoc Researcher (m/f/x)

Die Forschungsgruppe „Reasoning, Rationality and Science“ wird koordiniert und ist am Institut für Philosophie II, Fakultät für Philosophie und Erziehungswissenschaft, angesiedelt.

Wir suchen einen PostDoc-Forscher (m/w/d) mit dokumentierter Forschungserfahrung zur Untersuchung der beweistheoretischen Grundlagen logischer Argumentation. Das Projekt ist in das LoDEx-Projekt (Logical Methods for Deontic Explanation) eingebettet und konzentriert sich auf die Entwicklung formaler Modelle für nicht-monotones Schließen (zum Beispiel Default-Logik und autoepistemische Logik) und normatives Schließen (zum Beispiel Input/Output-Logiken). Eine zentrale methodische Komponente ist die Verwendung von Sequenzenkalkülen für logische Argumentation, wobei Defaults und Normen als konditionale Formeln in der Objektsprache dargestellt werden und Argumente als ableitbare Sequenzen dargestellt werden.

Umfang: Vollzeit

Dauer: befristet, 19 Monate

Beginn: zum nächstmöglichen Zeitpunkt

Bewerbungsfrist: 2026-07-06

Your tasks:

• Beweistheoretische Entwicklung: Entwicklung beweistheoretischer Methoden für logische Argumentation, mit einem besonderen Schwerpunkt auf Schnittelimination, Beweissuche und Widerlegungsverfahren für nicht-monotone Logiken und Logiken für normatives Schließen.
• Fokus auf Sequenzenkalküle: Untersuchung (schnittfreier) Sequenzenkalküle für eine breite Palette von nicht-monotonen Logiken, die im doxastischen und normativen Schließen verwendet werden.
• Deontische Erklärung: Entwicklung formaler Modelle der deontischen Erklärung auf der Grundlage von Sequenzenkalkülen für logische Argumentation in einem normativen Rahmen.
• Zusammenarbeit: Teilnahme an den Forschungsaktivitäten des LoDEx-Projekts und der Gruppe „Reasoning, Rationality and Science“.

Your profile:

• Abschluss: Ein PhD-Abschluss in Philosophie, Logik oder einem verwandten Bereich.
• Spezialisierung: Fortgeschrittene Expertise in formaler Logik und philosophischer Logik. Sie sollten über fundierte Kenntnisse in nicht-monotoner Logik, deontischer Logik und Beweistheorie verfügen.
• Technische Fähigkeiten: Nachgewiesene Kompetenz in der Konstruktion und Analyse von Sequenzenkalkülen. Erfahrung mit Beweissuchalgorithmen und Widerlegungsverfahren ist sehr wünschenswert. Vertrautheit mit computergestützten Werkzeugen für Logik (z. B. Coq, Isabelle oder benutzerdefinierte Python/R-Skripte für die Beweissuche) ist ein Plus.
• Formale Fähigkeiten: Tiefes Verständnis der theoretischen Grundlagen der Default-Logik, autoepistemischen Logik und Input/Output-Logik.
• Sprache: Exzellente Englischkenntnisse (in Wort und Schrift).

Please submit the following documents

1. Lebenslauf (CV)
2. Kopien von Abschlusszeugnissen und Notenspiegeln
3. Anschreiben (1-2 Seiten) unter Erläuterung Ihrer Motivation und Ihrer Forschungsinteressen
4. Namen und Kontaktdaten von zwei akademischen Referenzpersonen
5. Eine Arbeitsprobe (z. B. PhD-Thesis, Dissertation oder eine relevante Forschungsarbeit)