29 proof-checking-postdoc-computer-science-logic PhD scholarships at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
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
-
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
-
(masterexamen) of 120 credits or a Master’s degree (magisterexamen) of 60 credits in Electrical Engineering, Communication Engineering, Engineering Physics, Computer Engineering or similar, with a strong
-
of the technology in the companies in Software Center. About us The Department of Computer Science and Engineering at Chalmers and University of Gothenburg in Sweden with approximately 300 employees from more than
-
to optimally prepare it for use in AI-driven systems and solutions. About us The Department of Computer Science and Engineering at Chalmers and University of Gothenburg in Sweden with approximately 300
-
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