29 proof-checking-postdoc-computer-science-logic PhD positions at Chalmers University of Technology
Sort by
Refine Your Search
-
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
-
energy efficiency, in close collaboration with industry. The division is responsible for educating Naval Architects and Ocean Engineers within the international master's program Mobility Engineering at
-
Project Scope: Development of 6G antenna technology in partnership with leading global wireless operators, play a pivotal role in shaping the future of 6G systems. About the research project Low
-
the Swedish National Infrastructure for Computing (SNIC) and the Chalmers Centre for Computational Science and Engineering (C3SE). Learn more about the project and the research: Project overview Due
-
buildings, within a cross-disciplinary environment spanning architectural design, digital technologies and biomaterials science. PhD project summary The PhD student will join our cross-disciplinary research
-
The Department of Architecture and Civil Engineering (ACE) at Chalmers University of Technology has approximately 250 employees, encompassing a broad theoretical and practical knowledge base. In ACE, the Division
-
modelling at both catchment and road scales, incorporating input from relevant stakeholders.The candidate will gain extensive knowledge in hydrological modelling, climate adaptation, road engineering, and
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required
-
technology, building physics, HVAC systems, computer science and control systems architecture, thereby advancing all disciplines involved. The project is a collaboration with Building Services Engineering
-
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