Poste postdoctoral en logique
myScience
Bern
Infos sur l'emploi
- Date de publication :12 septembre 2025
- Taux d'activité :100%
- Lieu de travail :Bern
Résumé de l'emploi
L'Université de Berne recherche un postdoctorant en logique. Rejoignez une équipe internationale dynamique.
Tâches
- Mener des recherches sur les théories de preuves non-fondées.
- Analyser des systèmes de preuves cycliques et leurs propriétés.
- Collaborer avec des chercheurs sur des sujets innovants.
Compétences
- Doctorat en logique ou domaine connexe requis.
- Solide compréhension des théories de preuves.
- Compétences en recherche et rédaction scientifique.
Est-ce utile ?
Poste postdoctoral en logique
Lieu de travail Berne , Région de Berne , SuisseCatégoriePostePublié11 septembre 2025Poste postdoctoral en logique
80% - 100%
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âchesCe 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
Nous offrons un environnement de recherche stimulant au sein d'un groupe de recherche international. L'Université de Berne mène une recherche d'excellence et incarne sa vision selon laquelle la connaissance génère de la valeur. Berne est idéalement située au centre de la Suisse et de l'Europe, offrant une riche vie culturelle et des activités de plein air.
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 de 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 références.
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.
Dans votre candidature, veuillez mentionner myScience.ch et référencer JobID68266.
