12 proof-checking-postdoc-computer-science-logic positions at Mälardalen University in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, information designers, network technicians and engineers. We have five research specializations
-
addition to these requirements, we also require that the candidate has a Ph.D. in Computer Science. Proven expertise in formal methods for verifying safety and security of autonomous systems, and digital twin design, prior
-
, Society and Engineering, our students study for, among other things, university and civil engineers, political scientists and economists. With us, the research focuses are industrial economics and
-
Mälardalen University (MDU) is the youngest university in Sweden. In line with our vision, to be a progressive and collaborative University where we shape a sustainable future together, we wish to make a difference. Do you want to be involved and contribute to our development? Together, we can...
-
Master of Science in Engineering programme in Energy Systems, Bachelor of Science in Energy Engineering, and Master’s Programme in Sustainable Energy Systems Supervision of degree projects and doctoral
-
, Society and Engineering, our students study for, among other things, university and civil engineers, political scientists and economists. With us, the research focuses are industrial economics and
-
first cycle or second cycle level at MDU may be employed as a teaching assistant. Additional Requirements Currently enrolled in an engineering programme, preferably with good knowledge of the structure
-
, computer science, or equivalent. You should also have industrial work experience in the industrialization and production of batteries. Furthermore, you should also have the ability to drive development, a good
-
, physics, music and opera as well as the preparatory technical foundation year. MDU's research specialisation educational sciences and mathematics is part of the School. We collaborate with the surrounding
-
, Society and Engineering, our students study for, among other things, university and civil engineers, political scientists and economists. With us, the research focuses are industrial economics and