Open postdoctoral position in logic

ETH Get Hired
CH - Bern
January 26, 2025
Real Estate

100 %Branche Informationstechnologie Mathematik Region Open Postdoctoral Position in Logic A three-year postdoctoral position is open in the project Epistemic Group Attitudes in the Logic and Theory Group of the Institute of Computer Science at the University of Bern (ltg.unibe.ch).
The starting date is negotiable.
The initial contract will be for 12 months.
After initial evaluation, an extension is possible for an additional 24 months (3 years total).
Tasks This SNSF-funded project aims to develop and investigate new notions of group knowledge in multi-agent systems.
The two classic forms of group knowledge are common knowledge and distributed knowledge.
We will devise novel variants of these notions, which are important for distributed computing, and study their logical and mathematical properties.
One part of our project deals with eventual common knowledge (ECK), which is a form of common knowledge that is relevant for the epistemic analysis of many applications.
However, ECK needs to be better understood from a mathematical and logical perspective.
We will develop axiomatic systems for ECK and investigate its meta-logical properties, such as compactness, finite model property, etc.
We will then study the relationship between task solvability and the properties of the corresponding form of ECK.
In particular, we will establish the precise connection of ECK and the Firing Rebels with Relay problem, which is a particularly interesting case in distributed computing.
The second part of the project is concerned with novel variants of distributed knowledge.
Simplicial models are an essential tool in the area of distributed computing.
Recently, it has been observed that simplicial models also provide an interesting semantics for multi-agent epistemic logic.
These models focus on the local states of the agents instead of the global state of the system (represented as a possible world).
This simplicial semantics makes it possible to represent new forms of distributed knowledge.
Current simplicial models support notions of knowledge.
However, in the presence of Byzantine agents, only forms of belief can be obtained, but not knowledge.
We will adapt simplicial models to support belief and belief dynamics.
Further, we will develop and study an epistemic logic for simplicial sets.
This is the most general form of simplicial models.
Yet, their logical analysis is still missing.
Requirements Candidates should hold or expect a Ph D and have a strong background in logic.
We Offer We offer a stimulating research environment in an international research group.
The University of Bern conducts excellent research and lives up to its vision that knowledge generates value.
Bern is ideally located in the middle of Switzerland and Europe, providing rich cultural and outdoor activities.
Applications should include:
a letter of application explaining your interest in the position and your suitability for the project (about 2-3 pages).a full curriculum vitae, including a complete list of publications/preprints.contact information for two professional referees.a proof of the obtained degree, or relevant documentation to indicate the expected thesis defence or award date.
The complete application should be sent as a single pdf file to Prof.
Thomas Studer at thomas.studer@unibe.ch.
The deadline for application is 7 February 2025.
•

Read the full job description and apply online on the recuiter's web-site

Related Job Postings

Qc associate scientist

CK Group

CH - Neuchâtel
January 9, 2025

Job Title: • QC Associate Scientist Work Location: • Neuchatel (Hybrid working, 2 days remote) Country: • Switzerland Duration: • Till December 2025 Rate: • Up to CHF51 per hour (8 hours per day/40 hours p/week) depending on experienceYour main duties as an QC Associate...

Find Jobs Hiring Now Near You!

Get Jobilize Job Search Mobile App Now