20 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Karolinska Institutet (KI)
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
28 Feb 2026 Job Information Organisation/Company Karolinska Institutet (KI) Research Field Psychological sciences Researcher Profile Recognised Researcher (R2) Application Deadline 6 Apr 2026 - 21
-
viral engineering. This project brings the two laboratories together to build a shared experimental platform that neither lab could develop alone. The postdoc will be primarily based in the Stagkourakis
-
and infection. Required qualifications Ph.D. in bioinformatics, computational biology, genomics, systems biology, or a closely related field Demonstrated scientific excellence and strong potential
-
17 Jan 2026 Job Information Organisation/Company Karolinska Institutet (KI) Research Field Medical sciences » Medicine Researcher Profile First Stage Researcher (R1) Application Deadline 22 Jan 2026
-
5 Dec 2025 Job Information Organisation/Company Karolinska Institutet (KI) Department Karolinska Institutet, Department of Neurobiology, Care Sciences and Society Research Field Neurosciences
-
1 Feb 2026 Job Information Organisation/Company Karolinska Institutet (KI) Research Field Biological sciences Medical sciences Researcher Profile Recognised Researcher (R2) Application Deadline 14
-
24 Dec 2025 Job Information Organisation/Company Karolinska Institutet (KI) Research Field Medical sciences » Medicine Researcher Profile Recognised Researcher (R2) Country Sweden Application
-
with an interest in applying advanced methods to questions in neuropsychiatric research. The candidate must have: A PhD in neuroscience, neuroimaging, medicine, computational science, physics, statistics
-
» Biochemistry Chemistry » Other Computer science » Informatics Computer science » Computer systems Computer science » Digital systems Medical sciences » Medicine Medical sciences » Other Researcher Profile First
-
programming, computational biology, and statistics as well as experience in analyses of high-dimensional data sets, e.g. high-throughput sequence and gene expression data analysis, will also be considered a