Postdoctoral position in logic 80% - 100%
Universität Bern
Institut für Informatik
Key information
- Publication date:11 September 2025
- Workload:80 – 100%
- Place of work:Institut für Informatik
Job summary
Join the University of Bern's Logic and Theory Group for a postdoc role. Explore non-wellfounded and cyclic proof theory in a supportive environment.
Tasks
- Investigate fixed points and recursive definitions in proofs.
- Analyze structural properties of non-wellfounded proof systems.
- Develop formal proofs and explore concepts in mathematics.
Skills
- PhD in logic or related fields is required.
- Strong analytical and problem-solving skills are essential.
- Familiarity with proof theory and logical frameworks is needed.
Is this helpful?
A one-year postdoctoral position is open in the project
Non-wellfounded and cyclic proof theory
in the Logic and Theory Group of the Institute of Computer Science at the University of Bern (www.ltg.unibe.ch).
The starting date is negotiable. The possition is for one year, an extension by a few months may be possible.
Tasks
This SNSF-funded project is concerned with fixed points, recursive definitions, and proofs by induction, which are essential concepts in mathematics and computer science.
In recent years, a novel approach to formal proofs representing concepts of this kind has become popular, namely non-wellfounded and cyclic proofs. These proofs not only derive propositions from axioms, but they also provide a formal counterpart to proofs by infinite descent, i.e. proof branches that are not well-founded but satisfy some global soundness condition.
In this project, we aim for a better understanding of the structural properties of non-wellfounded and cyclic proof systems.
Requirements
Candidates should hold or expect a PhD and have a strong background in logic.
We offer
Applications should include:
1) A cover letter detailing research interests and fit for the position.
2) A curriculum vitae including a list of publications / preprints.
3) A research proposal (max 2 pages) outlining your proposed ideas in the areas mentioned above.
4) Contact information for two references.
The complete application should be sent by e-mail to Prof. Thomas Studer at E-Mail schreiben
Applications submitted by October 17, 2025 will receive full consideration.
