42 proof-checking-postdoc-computer-science-logic positions at Linköping University in Sweden
Sort by
Refine Your Search
-
, focusing on issues of technology and social change. Undergraduate programs include a bachelor's and a master's program in Urban and Regional planning, as well as courses in theory of science and history
-
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
-
, Computer Science, or Applied Mathematics with a minimum of 240 credits, at least 60 of which must be in advanced courses in Electrical Engineering or Applied Mathematics. Alternatively, you have gained
-
level in electrical engineering, electromagnetic engineering, wireless engineering, engineering physics, applied physics, a closely related field. Good command of electromagnetic simulation tools such as
-
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
-
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