84 proof-checking-postdoc-computer-science-logic positions at Chalmers University of Technology
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
vulnerabilities and proposing effective defenses, the project seeks to make the next generation of the Internet more secure, resilient, and trustworthy. About us The Department of Computer Science and Engineering
-
machine learning, computer vision, and materials science. The focus of this position is on development of neuro-symbolic models for the effective behaviour of the complex microstructure of recycled
-
to individuals who are currently enrolled in a master’s program at Chalmers University of Technology. Essential personal attributes include curiosity, persistence, and a learning eagerness. In addition, valuable
-
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
-
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
-
(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
-
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
-
research efforts are needed for rapid progress. About us Chalmers University of Technology is a leading university with excellence in industrial digitalization and manufacturing. The Division of Production
-
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
-
, 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