35 proof-checking-postdoc-computer-science-logic PhD scholarships at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
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
-
key encryption, can I also always have signature schemes?" and proves whether such statements are true or false. Information about the division and the department The Department of Computer Science and
-
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
-
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
-
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
-
. Project description Critical network infrastructure supporting global Internet communications relies on optical fiber networks, the only future-proof solution for bandwidth-hungry applications, ultra-high
-
or classical majors such as Mechanical Engineering/Electrical Engineering/Aerospace Engineering/Computer Science with a specialization in themes such as robotics, systems & control engineering, mechatronics etc
-
, 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
-
at Chalmers here . Qualifications Masters of Science degree* in Robotics & AI or classical majors such as Mechanical Engineering/Electrical Engineering/Aerospace Engineering/Computer Science with a
-
6 Mar 2025 Job Information Organisation/Company Chalmers University of Technology Research Field Neurosciences » Neurology Technology » Biotechnology Researcher Profile First Stage Researcher (R1