102 proof-checking-postdoc-computer-science-logic positions at Chalmers University of Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
to applied projects linked to societal needs. Key areas include computational mathematics, optimisation, biomathematics, statistics, and data science, supported by an active PhD programme. Our
-
the Computer Science and Engineering department will be encouraged. Who we are looking for The following requirements are mandatory: To qualify for the position of postdoc, you must hold a doctoral degree in software
-
ICSE, SPLC, and ICSA during the past recent years. About the research project As a postdoc, you will conduct original research in the area of AI-based program construction or performance engineering, co
-
We are looking for a postdoc in mathematics with focus on educational science. The research project is focussed on digital learning materials for the global south and refugee camps. More details on
-
interest in research team-work Industrial Experience from relevant industries Experience in computer based engineering and/or model based systems engineering tools What you will do Participate as researcher
-
Experience from relevant industries Experience in computer based engineering and/or model based systems engineering tools What you will do Participate as researcher in systems engineering design projects Plan
-
requirements are mandatory: To qualify for the position of postdoc, you must hold a doctoral degree in computer science, mathematics, informatics or another relevant field, awarded no more than three years prior
-
to tackle challenges in energy, ICT, and life sciences. We are looking for a postdoc to join our team at the Department of Microtechnology and Nanoscience, Chalmers. Become part of our innovative group and
-
We are looking for a postdoc to join our international team with a broad research focus from functional materials, electrode processing, to the high performance batteries. Become part of our
-
geodetic techniques (VLBI, GNSS, SLR, and DORIS) to strengthen the consistency of global reference frames and open new possibilities for Earth and space science. The position emphasizes DORIS (Doppler