Open PhD Positions in Logic, Bern
Vor 3 Tagen
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 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 have a strong background in logic (computer science, mathematics). University regulations require doctoral students to hold a Master's or equivalent degree.
We offerWe 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. The gross salary is around 48k CHF for PhD students.
Applications should include:- a motivation letter (max. 1 page),
- a complete CV,
- academic transcripts and a copy of relevant diplomas,
- contact information or reference letter of the MSc thesis supervisor.
The complete application should be sent as a single pdf file to Prof. Thomas Studer at [emailprotected]
#J-18808-Ljbffr-
Open PhD Positions in Logic
Vor 3 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...
-
Open postdoctoral position in logic
Vor 5 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 3 Tagen
Bern, Schweiz University of Bern VollzeitA three-year postdoctoral position is open in the projectEpistemic Group Attitudesin 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...
-
Open postdoctoral position in logic
Vor 2 Tagen
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 2 Tagen
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 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...
-
Logic and Theory Group Position
Vor 4 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...
-
Phd Position
vor 1 Woche
Bern, Schweiz Universität Bern Universität Bern Vollzeit**PhD position** **The project** **The Ph.D. Position** On the teaching side, she/he will work as teaching assistant in courses at either bachelor or master level, helping in the preparation of teaching materials and tutoring students. Fluent German is required for supervising bachelor level courses and laboratory practicals. - Master of Science (MSc)...
-
Postdoctoral Researcher in Epistemic Logic
Vor 4 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...
-
Bern, Schweiz Universität Bern VollzeitInstitute of Philosophy, University of Bern Start of employment: 01.03.2025 or by agreement Employment is fixed-term for 4 years. The Institute of Philosophy at the University of Bern offers two PhD positions within the project "Worldly Indeterminacy", which is funded by an SNSF Consolidator grant. The working hypothesis of this project is that there are...
-
Phd Position
Vor 6 Tagen
Bern, Schweiz Universität Bern Universität Bern Vollzeit**PhD position** **available in the Faso lab at the Institute of Cell Biology**: We study mechanisms of unconventional protein secretion at the host-parasite interface of parasitic protists using a range of methods in molecular and cell biology, including microscopy, proteomics and bioninformatics. Other ongoing projects in the group aim to translate...
-
Bern, Schweiz Universität Bern VollzeitInstitute of Philosophy, University of BernStart of employment: 01.03.2025 or by agreement.Employment is fixed-term for 4 years.The Institute of Philosophy at the University of Bern offers two PhD positions within the project "Worldly Indeterminacy", which is funded by an SNSF Consolidator grant. The working hypothesis of this project is that there are facts...
-
Two Phd
Vor 3 Tagen
Bern, Schweiz Universität Bern Universität Bern Vollzeit**Two PhD (or MD-PhD) Studentships in Cardiac Arrhythmia Research in Switzerland** **Institute of Biochemistry and Molecular Medicine (IBMM), University of Bern, Switzerland**: Research group website: abriellab.org Join our dynamic research group led by Prof. Hugues Abriel at the University of Bern, Switzerland, as we explore novel molecular and cellular...
-
Phd Position
Vor 3 Tagen
Bern, Schweiz Universität Bern Universität Bern Vollzeit**PhD position** **100 %**: Our lab i interested in mitochondrial organelle biogenesis using the single celled eukaryote Trypanosoma brucei as a model system. We use a combination of molecular biology, biochemistry and microscopic imaging (including ultrastructure expansion microscopy and cryo-electron tomography) to study the underlying molecular mechanisms...
-
Phd Position
vor 1 Woche
Bern, Schweiz Universität Bern Vollzeit**The project** **The Ph.D. Position** On the teaching side, she/he will work as teaching assistant in courses at either bachelor or master level, helping in the preparation of teaching materials and tutoring students. Fluent German is required for supervising bachelor level courses and laboratory practicals. - Master of Science (MSc) degree - Interest in...
-
Phd Position in Molecular Plant Physiology Bern
Vor 2 Tagen
Bern, Schweiz Universität Bern Vollzeit**Description** A PhD position is available at the University of Bern (Switzerland). The research project aims at determining the role of organic nitrogen (N) for plant performance. There is increasing evidence that plants not only use ammonium or nitrate as N source, but also acquire organic N, e.g. amino acids and small peptides, from the soil. It remains...
-
Bern, Schweiz Universität Bern VollzeitInstitute of Philosophy, University of Bern Start of employment: 01.03.2025 or by agreement Employment is fixed-term for 4 years. The Institute of Philosophy at the University of Bern offers two PhD positions within the project "Worldly Indeterminacy", which is funded by an SNSF Consolidator grant. The working hypothesis of this project is that there are...
-
Phd Position
vor 2 Wochen
Bern, Schweiz Universität Bern VollzeitYour job: In this project supported by the Swiss National Science Foundation, your role is to research innovative ways to employ information stemming from interpretability methods used in deep learning to jointly improve model training, performance, and model interpretability. Through this new learning paradigm, we expect to make contributions to fighting...
-
Two Phd
Vor 3 Tagen
Bern, Schweiz Universität Bern VollzeitResearch group website: abriellab.org Join our dynamic research group led by Prof. Hugues Abriel at the University of Bern, Switzerland, as we explore novel molecular and cellular mechanisms underlying lethal cardiac arrhythmias. Our laboratory is based in the picturesque city of Berne, the Federal City of Switzerland, at the heart of Europe. Our work...
-
Phd Position
vor 1 Woche
Bern, Schweiz Universität Bern Universität Bern Vollzeit**PhD position** **Investigating the effects of climate extremes on aboveground-belowground interactions**: Extreme climatic events, such as heat waves and extreme droughts are major threats to terrestrial biodiversity and ecosystem functioning. Terrestrial biodiversity is composed of aboveground and belowground subsystems, between which various types of...
