42 proof-checking-postdoc-computer-science-logic positions at Linköping University in Sweden
Sort by
Refine Your Search
-
information about the Department of Biomedical and Clinical Sciences, please follow: https://liu.se/en/organisation/liu/bkv The employment In connection with your admission to the doctoral program, your
-
specialising in environmental science are carried out at the department. First cycle studies include a bachelor's and a master's programme, as well as stand-alone courses and teacher-training courses in
-
sustainable future through materials science. Read more: https://wise-materials.org All early-stage researchers recruited into the WISE program will be a part of the WISE Graduate School https://wise
-
SEDDIT (Sensor Informatics and Decision-Making for the Digital Transformation). More details about this center are available here: https://seddit.se . The research within SEDDIT contains both theoretical
-
NAISS, the National Academic Infrastructure for Supercomputing in Sweden, provides academic users with high-performance computing resources, storage capacity, and data services. NAISS is hosted by
-
NAISS, the National Academic Infrastructure for Supercomputing in Sweden, provides academic users with high-performance computing resources, storage capacity, and data services. NAISS is hosted by
-
NAISS, the National Academic Infrastructure for Supercomputing in Sweden, provides academic users with high-performance computing resources, storage capacity, and data services. NAISS is hosted by
-
under the Horizon Europe framework program and will include up to 50 AI experts and other staff working close to academic and industrial users across the EuroHPC member states to advance AI solutions
-
application! We are looking for one or two PhD students in Multiagent Automatic Control at the Information Coding Division (ICG), which is based at the Department of Electrical Engineering (ISY). You will be
-
, engineering physics, computer science, applied mathematics or have completed courses with a minimum of 240 credits, at least 60 of which must be in advanced courses within the topics mentioned above