31 proof-checking-postdoc-computer-science-logic PhD positions at Linköping University
Sort by
Refine Your Search
-
of approaching reconstruction and variability analysis. The project combines applied mathematics, computational imaging, and structural biology. You will develop algorithms, implement and test software tools, and
-
application! We are looking for a PhD student in Environmental Science for research on Greenhouse Gases and Biodiversity in Agricultural Landscapes using Drone and Satellite measurements. Your work assignments
-
postgraduate education within Medical Science. The employment When taking up the post, you will be admitted to the program for doctoral studies. In connection with your admission to the doctoral program, your
-
3 Apr 2026 Job Information Organisation/Company Linköping University Research Field Chemistry » Inorganic chemistry Researcher Profile First Stage Researcher (R1) Application Deadline 30 Apr 2026
-
application! The Wallenberg Wood Science Center (WWSC) is a major research initiative between three leading Swedish universities: KTH Royal Institute of Technology, Chalmers University of Technology, and
-
Science, Computational Science and Engineering or completed courses with a minimum of 240 credits, at least 60 of which must be in advanced courses in which you have gained expertise in applied mathematics
-
of full-time. Your qualifications You have graduated at Master’s level in biomedical engineering, electrical engineering, machine learning, statistics, computer science, or a related area considered
-
Clinical Sciences (BKV ). MMV carries out research, undergraduate and postgraduate education within Health Sciences. The employment When taking up the post, you will be admitted to the program for doctoral
-
different backgrounds. This position requires that you have graduated at Master’s level in in computer science, media technology, computer engineering, human-computer interaction, visual learning and
-
induction. You will combine advanced genetic engineering approaches with survival assays, fluorescence-based techniques in fixed and live cells, single-cell sequencing, and computational bioinformatics