PhD position in Logic and Artificial Intelligence
Join the Logic and Artificial Intelligence research group to explore multi-agent systems, formal verification, and normative reasoning.
Best for:Best for researchers with a strong background in formal logic, multi-agent systems, or computational verification.
Overview
The Department of Information Science and Media Studies at the University of Bergen invites applications for a four-year PhD position focused on the intersection of logic and artificial intelligence. The successful candidate will conduct research within the Logic and Artificial Intelligence (LAI) group, investigating areas such as multi-agent systems, formal verification, and mechanism design. This position includes a 25% teaching and administrative component, providing a balanced academic development experience. Applicants are expected to propose a research project that aligns with the group's expertise in formal logic and computational reasoning. The role is based in Bergen and requires physical presence at the department.
What you'll do
- Conduct independent research in the field of logic and artificial intelligence.
- Develop and execute a research project within the scope of multi-agent systems or formal verification.
- Contribute to teaching, student supervision, and administrative tasks at the department (25% of time).
- Participate in the academic activities of the LAI research group.
- Disseminate research findings through publications and conference presentations.
- Complete the required PhD coursework and training at the Faculty of Social Sciences.
Requirements
Degree required: Master's degree in information science, computer science, cognitive science, logic, artificial intelligence, or equivalent.
Degree offered: PhD
Language: English; proficiency in both written and oral English is required.
Instruction: English and Norwegian
Publications: Not strictly required, but documented scientific publications are an advantage.
- Documented background in at least one area such as multi-agent systems, modal logic, or formal verification.
- Strong academic record, typically grade B or better on the Master's thesis.
- Ability to work independently and in a structured manner.
- Proficiency in written and oral English.
- Good collaborative and interpersonal skills.
- Must hold a master's degree completed by the application deadline.
- Must meet the admission requirements for the PhD programme at the Faculty of Social Sciences.
Funding & terms
How to apply
Deadline: 2026-10-15
Applications must be submitted via the Jobbnorge portal. Candidates must include a 5-8 page research proposal, CV, transcripts, and contact information for two references.
- Cover letter
- Research proposal
- CV
- BSc and MSc transcripts and diplomas
- List of academic publications
- Academic publications (including Master's thesis)
- Reference contact information
Contact
Rustam Galimullin· Scientific Responsible
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.