71 proof-checking-postdoc-computer-science-logic positions at Chalmers University of Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
failures. We offer access to unique experimental data and computational tools developed by our research team for addressing a timely societally relevant problem. Project overview The aim is to unravel
-
changing environment will affect the stability of quick clays, and the probability of triggering catastrophic failures. We offer access to unique experimental facilities and computational tools developed by
-
Join us for an exciting Doctoral student journey at Chalmers University of Technology and contribute to impactful research in the field of plant biomass conversion. We are recruiting a Doctoral
-
degree in Biomedical Science, Bioengineering, Life Sciences, or a related field, and demonstrated expertise in artificial intelligence and data science. Job description This is a full-time, three-month
-
We are searching for a doctoral candidate eager to take part in crossdisciplinarity work within battery technology for a sustainable future. This work will compose both theoretical and experimental
-
division are on technologies with applications that span from basic science to future sensors and communication systems. We are at the forefront of innovation in terahertz electronics, working on projects
-
We invite applicants to join our team of researchers within the area of maritime environmental science. We are looking for a PhD student to work on cumulative risk assessment of shipping pressures
-
We invite applicants to join our team of researchers within the area of maritime environmental science. We are looking for a PhD student to study turbulent ship wakes and their effects on the marine
-
Join our driven team at the Swedish Life Cycle Center as a Project Manager. The Swedish Life Cycle Center, hosted by Chalmers University of Technology, is a national competence center with about
-
Join our driven team at the Swedish Life Cycle Center as a Project Manager. The Swedish Life Cycle Center, coordinated by Chalmers University of Technology, is a national competence center with