Poste postdoctoral en logique 80 % - 100 %
Universität Bern
Institut für Informatik
Infos sur l'emploi
- Date de publication :11 septembre 2025
- Taux d'activité :80 – 100%
- Lieu de travail :Institut für Informatik
Résumé de l'emploi
Un poste postdoctoral d'un an est ouvert au sein du projet de théorie des preuves non fondées et cycliques.
Tâches
- Comprendre les propriétés structurelles des systèmes de preuves non fondés.
- Explorer les définitions récursives et les points fixes en logique.
- Proposer des idées sur les preuves par induction et descentes infinies.
Compétences
- Un doctorat en logique est requis pour les candidats.
- Solide expérience en théorie des preuves et logique mathématique.
- Capacité à rédiger des propositions de recherche claires.
Est-ce utile ?
Un poste postdoctoral d'un an est ouvert dans le projet
Théorie des preuves non bien fondées et cycliques
au sein du groupe Logique et Théorie de l'Institut d'informatique de l'Université de Berne (www.ltg.unibe.ch).
La date de début est négociable. Le poste est d'une durée d'un an, une prolongation de quelques mois peut être possible.
Tâches
Ce projet financé par le FNS porte sur les points fixes, les définitions récursives et les preuves par induction, qui sont des concepts essentiels en mathématiques et en informatique.
Ces dernières années, une nouvelle approche des preuves formelles représentant ce type de concepts est devenue populaire, à savoir les preuves non bien fondées et cycliques. Ces preuves ne se contentent pas de déduire des propositions à partir d'axiomes, elles fournissent également un pendant formel aux preuves par descente infinie, c’est-à-dire des branches de preuve qui ne sont pas bien fondées mais satisfont une certaine condition globale de validité.
Dans ce projet, nous visons une meilleure compréhension des propriétés structurelles des systèmes de preuves non bien fondées et cycliques.
Exigences
Les candidats doivent être titulaires d'un doctorat ou en attendre l'obtention et avoir une solide formation en logique.
Nous offrons
Les candidatures doivent inclure :
1) Une lettre de motivation détaillant les intérêts de recherche et l'adéquation au poste.
2) Un curriculum vitae incluant une liste des publications / prépublications.
3) Une proposition de recherche (max 2 pages) exposant vos idées proposées dans les domaines mentionnés ci-dessus.
4) Les coordonnées de deux personnes de référence.
La candidature complète doit être envoyée par e-mail au Prof. Thomas Studer à thomas.studer@unibe.ch
Les candidatures soumises avant le 17 octobre 2025 seront pleinement prises en considération.
