Open postdoctoral position in logic

Vor 5 Tagen

Bern, Schweiz University of Bern Vollzeit
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 (www.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 PhD and have a strong background in logic.

We offer

Applications should include:
1) a letter of application explaining your interest in the position and your suitability for the project (about 2-3 pages).
2) a full curriculum vitae, including a complete list of publications/preprints.
3) contact information for two professional referees.
4) 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.

#J-18808-Ljbffr

  • Open PhD Positions in Logic, Bern

    Vor 7 Tagen

    Bern, Schweiz TN Switzerland Vollzeit

    Two PhD-student positions are open in the project Epistemic Group Attitudes in the Logic and Theory Group of the Institute of Computer Science at the University of Bern ( The positions are available from February 2025 (negotiable) for up to 4 years. Tasks In this SNSF-funded project, we plan to develop and investigate new notions of group knowledge in...

  • Open PhD Positions in Logic, Bern

    Vor 5 Tagen

    Bern, Schweiz TN Switzerland Vollzeit

    Two PhD-student positions are open in the project Epistemic Group Attitudes in the Logic and Theory Group of the Institute of Computer Science at the University of Bern (www.ltg.unibe.ch). The positions are available from February 2025 (negotiable) for up to 4 years.TasksIn this SNSF-funded project, we plan to develop and investigate new notions of group...

  • PhD Positions in Logic Switzerland

    Vor 6 Tagen

    Bern, Bern, Schweiz TN Switzerland Vollzeit

    Company OverviewThe University of Bern conducts excellent research and lives up to its vision that knowledge generates value. The institute is a leading center for interdisciplinary research and education.Job DescriptionWe are seeking highly motivated PhD students to join our project Epistemic Group Attitudes in the Logic and Theory Group. The positions are...

  • Postdoctoral Position

    vor 4 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    **Postdoctoral Position**: Tasks **Requirements**: Contact Website Department of Ophthalmology, Inselspital, Bern University Hospital, University of Bern, Switzerland

  • Postdoctoral Researcher in Epistemic Logic

    Vor 6 Tagen

    Bern, Bern, Schweiz University of Bern Vollzeit

    Company OverviewThe University of Bern is a research-intensive institution that values interdisciplinary collaboration and innovation.In the Logic and Theory Group, we focus on developing new notions of group knowledge in multi-agent systems.

  • Logic and Theory Group Position

    Vor 6 Tagen

    Bern, Bern, Schweiz University of Bern Vollzeit

    Job DescriptionWe are seeking a postdoctoral researcher to work on an SNSF-funded project investigating novel variants of common knowledge and distributed knowledge.This project aims to develop and investigate new notions of group knowledge in multi-agent systems.You will devise novel variants of these notions, which are important for distributed computing,...

  • Postdoctoral Position in Spatially Fractionated

    vor 2 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    **Postdoctoral Position in Spatially Fractionated Radiation Therapy** **100%**: The Institute of Anatomy of the University of Bern is part of the Faculty of Medicine and has a teaching assignment in the study programmes of Human Medicine and Dentistry, as well as Pharmaceutical Sciences, Biomedical Engineering, and Veterinary Medicine. Eleven independent but...

  • Postdoctoral Fellow

    vor 3 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    **Postdoctoral Fellow**: The Physiology of Light Perception lab is looking to hire a postdoctoral fellow for an exciting project at the interface of neuroscience and cell biology. About the position and project About the team and environment About the profile

  • Postdoctoral Fellow

    vor 3 Wochen

    Bern, Schweiz Universität Bern Vollzeit

    The Physiology of Light Perception lab is looking to hire a postdoctoral fellow for an exciting project at the interface of neuroscience and cell biology. About the position and project About the team and environment About the profile

  • Postdoctoral Researcher in Molecular Parasitology

    vor 3 Wochen

    Bern, Schweiz myScience Vollzeit

    Postdoctoral Researcher in Molecular Parasitology University of Bern Published 13 February 2025 Workplace Bern, Bern region, Switzerland Category Life Sciences Research Management Position Senior Scientist / Postdoc Postdoctoral Researcher in Molecular Parasitology 100% Institute of Cell Biology, Research Group Gluenz The Institute of Cell Biology (IZB)...

  • Sociology Researcher Position

    vor 15 Stunden

    Bern, Bern, Schweiz Universität Bern Vollzeit

    Job DescriptionInstitute of Sociology, University of Bern seeks a highly motivated Postdoctoral researcher to contribute to an interdisciplinary project investigating professional career paths and social inequalities. Company OverviewThe Institute of Sociology at the University of Bern is a leading research institution focused on advancing our understanding...

  • Postdoctoral Researcher in AI for Radiation Oncology

    vor 3 Stunden

    Bern, Bern, Schweiz TN Switzerland Vollzeit

    Postdoctoral Position in Medical Imaging and Machine LearningThe new Center for AI in Radiation Oncology (CAIRO) within the Inselspital and affiliated with the University of Bern will investigate data-driven solutions for radiation oncology applications in the context of outcome predictions, treatment personalization, and multi-modal learning. As part of the...

  • Postdoctoral Fellow in Lung-on-chip Modelling

    vor 4 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    **Postdoctoral Fellow in Lung-on-Chip Modelling**: The Organs-on-Chip Technologies (OOC) Lab at the ARTORG Center for Biomedical Engineering Research of the University of Bern has an open position for a Postdoctoral Fellow in Lung-on-Chip Modelling to strengthen its lung diseases-on-chip program (initially for 2 years, possible extension). The OOC Lab...

  • Postdoc position in statistical data science for the sciences

    vor 1 Woche

    Bern, Schweiz The International Society for Bayesian Analysis Vollzeit

    Postdoc position in statistical data science for the sciences Mar 20, 2023 A postdoctoral researcher position is open in Prof. Dr. David Ginsbourger’s uncertainty quantification and spatial statistics group at the Institute of Mathematical Statistics and Actuarial Science, University of Bern, Switzerland.Context: The recruited postdoctoral researcher will...

  • Postdoc position in statistical data science for the sciences

    vor 19 Stunden

    Bern, Schweiz The International Society for Bayesian Analysis Vollzeit

    Postdoc position in statistical data science for the sciences Mar 20, 2023 A postdoctoral researcher position is open in Prof. Dr. David Ginsbourger’s uncertainty quantification and spatial statistics group at the Institute of Mathematical Statistics and Actuarial Science, University of Bern, Switzerland. Context: The recruited postdoctoral researcher...

  • Postdoctoral Fellow in Leishmania Research

    Vor 6 Tagen

    Bern, Bern, Schweiz Universität Bern Vollzeit

    Job DescriptionThis position is available for an experienced postdoctoral researcher to support the development of new genetic tools and to study the function of proton pumps in Leishmania as part of an ongoing project funded by the Swiss National Science Foundation.ResponsibilitiesDevelopment of tools for conditional disruption of gene or protein function...

  • Postdoctoral Researcher in Molecular Parasitology

    vor 3 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    Institute of Cell Biology, Research Group Gluenz Tasks This position is available for an experienced postdoctoral researcher to support the development of new genetic tools and to study the function of proton pumps in Leishmania, as part of an ongoing project funded by the Swiss National Science foundation. Specific Tasks include: - Development of tools...

  • Early Postdoc Position

    vor 2 Wochen

    Bern, Schweiz Universität Bern Universität Bern Vollzeit

    **Early postdoc position** **(Eco-evolutionary dynamics of soil microorganisms)**: We are seeking a highly motivated and skilled individual with a PhD (who graduated less than 3 years ago) in microbial ecology and/or evolutionary biology to join the lab of Prof. Dr. Madhav P. Thakur (Head of Terrestrial Ecology) at the University of Bern in a project to...

  • Postdoctoral researcher in managerial accounting

    vor 6 Stunden

    Bern, Schweiz SSRN Vollzeit

    Postdoctoral researcher in managerial accountingJob Description & QualificationThe Institute for Accounting of the University of Bern, Managerial Accounting section (Prof. Dr. Markus C. Arnold), is seeking to fill a postdoctoral position.Candidates need to have a doctoral degree (or be close to completion) in business administration, economics or a related...

  • Postdoctoral researcher in sociology or adjacent fields

    vor 17 Stunden

    Bern, Bern, Schweiz myScience Vollzeit

    Postdoctoral researcher in sociology or adjacent fields (e.g., economics, organizational psychology)University of BernPublished 4 March 2025Workplace Bern, Bern region, SwitzerlandCategory Social SciencesPosition Senior Scientist / PostdocPostdoctoral researcher in sociology or adjacent fields (e.g., economics, organizational psychology)80 %Institute of...