Open PhD Positions in Logic, Bern District
vor 2 Wochen
Social network you want to login/join with:
Open PhD Positions in Logic, Bern DistrictClient:Location:Job Category:Other
Job Reference:6d7ed2c33141
Job Views:14
Posted:06.03.2025
Expiry Date:20.04.2025
Job Description: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.
In 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, Bern
vor 3 Wochen
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...
-
Open postdoctoral position in logic
vor 3 Wochen
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 5 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...
-
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...
-
Two Phd
Vor 2 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 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...
-
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...
-
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...
-
Phd Position in Molecular Cell Biology
vor 1 Tag
Bern, Schweiz Universität Bern VollzeitPosition: PhD Student Topic: Mitochondrial Transcription in Trypanosoma brucei Funding: 3 years, Swiss National Science Foundation (50kCHF starting salary + benefits) Supervisor: Prof. Torsten Ochsenreiter The Institute of Cell Biology at the University of Bern is seeking a highly motivated PhD student to join the lab of Prof. Torsten Ochsenreiter. The...
-
Two PhD Positions in Philosophy, University of Bern
vor 3 Wochen
Bern, Schweiz University of Bern VollzeitInstitute of Philosophy, University of BernStart of employment: 01.03.2025 or by agreementEmployment 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...
-
Phd Student Position
vor 1 Woche
Bern, Schweiz Universität Bern Vollzeit**Workplace**: Department of Ophthalmology, Inselspital, University of Bern **Project Title**: Organoid-based modelling of human retinal degeneration / regeneration The Department of Ophthalmology is offering a PhD student position in the field of neuroscience/cell biology. The group's research interest is focused on the pathophysiology of the retina. The...
-
Phd Student Position in Cell Biology
Vor 5 Tagen
Bern, Schweiz Universität Bern VollzeitLaboratory of Oral Cell Biology at the Department of Oral Surgery and Stomatology, University of Bern, Switzerland starting date upon agreement The research of the Laboratory of Oral Cell Biology at the Department of Oral Surgery and Stomatology, University of Bern, Switzerland answers clinically oriented mechanistic questions related to oral hard and soft...
-
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...
-
Bern, Schweiz University of Bern VollzeitThe Artificial Intelligence in Medical Imaging (AIMI) lab at the University of Bern's ARTORG Center for Biomedical Engineering Research invites applications from excellent scientists and engineers with a strong background in machine learning and computer vision to work on innovative methods in the domains of medical image computing.We are looking for...
-
Phd Position in Neuroscience
Vor 6 Tagen
Bern, Schweiz Universität Bern VollzeitThe Center for Experimental Neurology (ZEN), Department for Biomedical Research (DBMR) Start of employment: by agreement Temporary. Yearly contract max. until 29.02.2028 The Center for Experimental Neurology (ZEN) is a unique translational research center in the Department of Neurology at the Inselspital University Hospital Bern, Switzerland. The ZEN...
-
Phd Student
vor 2 Wochen
Bern, Schweiz Universität Bern VollzeitAt the Institute of Communication and Media Studies (ikmb) of the University of Bern, a position is available as a PhD student (full position) OR early Post-doc (80%, maximum 2 years after finishing the PhD) Tasks - development and implementation of own research ideas - teaching of courses in the BA Social Sciences and supervision of BA thesis (approx. 20%...
-
Phd Student Position in Space Research
Vor 2 Tagen
Bern, Schweiz Universität Bern VollzeitThe Space Research and Planetology Division of the University of Bern is the leading planetary sciences institute in Switzerland and participates in numerous ESA and NASA missions. The Division has a long-standing tradition in space research starting from the solar wind sail placed on the Moon during the Apollo program, recent missions such as Rosetta to...
-
Bern, Schweiz TN Switzerland VollzeitPhD position in Macroeconomics/Empirical Macroeconomics, Bern DistrictClient:Location:Job Category:OtherJob Reference:f8f7ab285fc4Job Views:4Posted:03.03.2025Expiry Date:17.04.2025Job Description:University of BernStart of employment: 01.08.2025 or by agreementYou will engage in research and teaching activities within the Macroeconomics group of the...
-
PhD Student, Bern District
vor 2 Wochen
Bern, Schweiz TN Switzerland VollzeitAt the Institute of Sport Science of the University of Bern, a doctoral position is to be filled on November 1, 2024 (or by appointment) in the Department of Health Science with a focus on digital mental health interventions and depression within the “The motor activity – subjective energy (MASE) project: Neurobiological and digital phenotyping towards...
-
Phd Candidates in Satellite Geodesy
vor 1 Tag
Bern, Schweiz Universität Bern VollzeitThe satellite geodesy research group of the Astronomical Institute of the University of Bern (AIUB) offers two positions for PhD CANDIDATES. Education Application Applications (including CV, university diploma copies, record of study, possible references; the motivation letter should express a preference for one or the other PhD topic with an explanatory...
