Open postdoctoral position in logic
Vor 2 Tagen
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.
RequirementsCandidates should hold or expect a PhD and have a strong background in logic.
We offerApplications 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.
-
Open postdoctoral position in logic
vor 1 Tag
Bern, Schweiz ETH get hired Vollzeit100 %BrancheInformationstechnologieMathematikRegionOpen Postdoctoral Position in LogicA 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....
-
Open postdoctoral position in logic
vor 1 Tag
Bern, Schweiz ETH get hired VollzeitOpen Postdoctoral Position in LogicA 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...
-
Open postdoctoral position in logic
Vor 4 Tagen
Bern, Schweiz Universität Bern VollzeitA 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...
-
Open Postdoctoral Position in Logic
Vor 6 Tagen
Bern, Schweiz Universität Bern VollzeitA three-year postdoctoral position is open in the project Epistemic Group Attitudes 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...
-
Open PhD Positions in Logic
Vor 2 Tagen
Bern, Schweiz Universität Bern VollzeitTwo 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. Tasks In this SNSF-funded project, we plan to develop and investigate new notions of...
-
Logic and Theory Group Position
Vor 3 Tagen
Bern, Bern, Schweiz Universität Bern VollzeitAbout the Project">We are excited to announce a three-year postdoctoral position in the Logic and Theory Group of the Institute of Computer Science at the Universität Bern. The project focuses on developing and investigating new notions of group knowledge in multi-agent systems.">Key Responsibilities">The postdoctoral researcher will be responsible...
-
Open PhD Positions in Logic, Bern
Vor 2 Tagen
Bern, Schweiz TN Switzerland VollzeitTwo 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...
-
Postdoctoral Researcher in Epistemic Logic
Vor 3 Tagen
Bern, Bern, Schweiz Universität Bern VollzeitProject Overview">We are seeking a highly skilled postdoctoral researcher to join our team at the Universität Bern. The successful candidate will be working on developing and investigating new notions of group knowledge in multi-agent systems.">Job Description">The project aims to devise novel variants of common knowledge and distributed knowledge, which...
-
Postdoctoral Position in Spatially Fractionated
Vor 3 Tagen
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 Position in Spatially Fractionated
Vor 2 Tagen
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 teaching responsibilities in the study programmes of Human Medicine, Dentistry, Pharmaceutical Sciences, Biomedical Engineering, and Veterinary Medicine. Ten independent but highly...
-
Postdoctoral Position in Spatially Fractionated
Vor 3 Tagen
Bern, Schweiz Universität Bern VollzeitThe 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 highly cooperative working groups conduct biomedical research in the fields of...
-
Bern, Schweiz Universität Bern VollzeitThe Institute of Anatomy of the University of Bern is part of the Faculty of Medicine and has teaching responsibilities in the study programmes of Human Medicine, Dentistry, Pharmaceutical Sciences, Biomedical Engineering, and Veterinary Medicine. Ten independent but highly collaborative working groups conduct biomedical research in the fields of Didactic...
-
Postdoctoral Position in Basic Cardiac
vor 2 Wochen
Bern, Schweiz Universität Bern Vollzeitcardiac arrhythmias, action potential, bioelectricity, physiology, biophysics A postdoctoral position in cardiac electrophysiology is immediately available for 2 years (prolongation based on performance) at the Department of Physiology of the University of Bern. We pursue a deeper understanding of fundamental mechanisms underlying action potential...
-
Bern, Schweiz The International Society for Bayesian Analysis VollzeitPostdoc 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...
-
Early Postdoc Position
Vor 6 Tagen
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 Fellow Paul Scherrer Institute
Vor 6 Tagen
Bern, Schweiz Lightsources.org VollzeitThe Paul Scherrer Institute PSI is the largest research institute for natural and engineering sciences within Switzerland. We perform cutting-edge research in the fields of future technologies, energy and climate, health innovation and fundamentals of nature. By performing fundamental and applied research, we work on sustainable solutions for major...
-
Early Postdoc Position
Vor 6 Tagen
Bern, Schweiz Universität Bern VollzeitWe 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 unravel the importance of eco-evolutionary dynamics in predicting resistance and...
-
Bern, Schweiz Universität Bern VollzeitInsel Hospital, University Hospital Bern, Department of Diabetes, Endocrinology, Nutritional Medicine and Metabolism UDEM Start of employment: Novemer 1st 2024 Employment is fixed term for 1 year with possibility of extension. The samlab, an interdisciplinary research group at the University of Bern and UDEM at the University Hospital Bern, led by Prof. Dr....
-
Bern, Schweiz Universität Bern VollzeitA funded PhD position is available in the group of Gerald Heckel for genomic research on the population structure and connectivity of free-roaming dogs and their viruses. This position is part of a large interdisciplinary project funded by the Swiss National Science Foundation (SNSF) aiming to determine the role of free-roaming dogs in the spread and...
-
Senior Scientist Postdoctoral Position
Vor 2 Tagen
Bern, Bern, Schweiz myScience VollzeitThis position offers the opportunity to work closely with experts from diverse fields including paleoclimate, ice core research, and climate and ocean modeling.The postdoc will be based in the Division of Climate and Environmental Physics at the University of Bern, providing an inspiring research atmosphere and contact with experts in various...
