Företag

WorkeySe mer

addressAdressGöteborg, Västra Götaland
KategoriMedicinsk information

Arbetsbeskrivning

PhD student position in Formal Verification of Autonomous Cyber-Physical Systems

Autonomous cyber-physical systems (ACPS) have great potential to improve our ways of life, increasing mobility, cutting costs, and saving lives. Considering the complexity of the environments these systems operate in, ACPS increasingly rely on data-driven learning-enabled components to perform a variety of challenging decision-making tasks. While indispensable for autonomy, learning-enabled components are unpredictable, e.g., unanticipated changes in the environment of the ACPS may cause a neural network to produce faulty outcomes that could endanger the safety of the system. To assure the safe and reliable operation of ACPS, we need to have a comprehensive understanding of the behavior of the underlying components and capture the conditions of the environment in which these components will be trusted to behave correctly.

Project description
The goal of this PhD project is to develop techniques for the design and Verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools for the construction of runtime monitors that capture under what conditions an ACPS is guaranteed to maintain safety. A key challenge in developing such monitors is to handle noisy, missing, or delayed data. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in Formal methods and learning theory, to develop methods that allow for building monitors with formal guarantees on their correctness and reliability.

Information about the division and the department
The CSE department is a joint department at Chalmers University of Technology and the University of Gothenburg, with activities on two campuses in the city of Gothenburg. The department is divided into four divisions, and employs around 270 people from over 30 countries. Research in the department has a wide span, from theoretical foundations to applied systems development. We provide high quality education at the Bachelor's, Master's and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.

This position is funded by the WASP program, and as such comes exciting career development opportunities (https://wasp-sweden.org/).

Our aim is to actively improve our gender balance in both our department and division. Equality and diversity are substantial foundations in all activities at Chalmers. As an employee of Chalmers and the CSE department, students are given the opportunity to contribute to our active work within the field of equality and diversity.

Major responsibilities
The employment is a fixed-term position limited to a maximum of five years, four years of studies and up to one year of departmental work, distributed over the whole employment period. The major responsibilities for a PhD student position in the division include conducting doctoral research and coursework. By the end of the PhD, students will be able to identify novel research directions and design the appropriate computational experiments to answer key research questions. Students are expected to effectively communicate the results of their research verbally and in writing, and will receive specific training towards building these skills. This position also includes teaching at Chalmers' undergraduate level, or performing other teaching and departmental duties corresponding to 20% of working hours.

Read more about doctoral studies at Chalmers here.

Qualifications
In order to meet the general admission requirements for a doctoral programme at Chalmers, the student must have earned a degree at the second-cycle level, i.e., a master's degree (mastersexamen) of 120 credits or a master's degree (magisterexamen) of 60 credits. Equivalent requirements apply to individuals with an education earned outside of Sweden, 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. The applicant should have strong background in mathematical foundations of computer science and experience in Python programming. Previous experience in deep learning, reinforcement learning, or explainable AI is a merit, but not required.

The position requires excellent verbal and written communication skills in English. If you are not familiar with Swedish, you are encouraged, but not required, to learn it during your employment. Chalmers offers Swedish courses.

Contract terms
Full-time temporary employment. The position is limited to a maximum of five years.

We offer
Chalmers offers a cultivating and inspiring working environment in the coastal city of Gothenburg. 
Read more about working at Chalmers and our benefits for employees.

Chalmers aims to actively improve our gender balance. We work broadly with equality projects, for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.

For information about the application procedure and more, please visit Chalmers website.
Application deadline: 2024-04-30

For questions, please contact:
Assistant Professor, Hazem Torfah, Computing Science Division,
[email protected]

Detta är en jobbannons med titeln "PhD student position in Formal Verificationof Auto.." hos företaget Chalmers Tekniska Högskola AB och publicerades på workey.se den 28 mars 2024 klockan 11:19.
Refer code: 721478. Workey - Dagen innan - 2024-03-28 17:53

Workey

Göteborg, Västra Götaland
Populära Phd Student Position-jobb i toppstäder

Dela jobb med vänner

Relaterade jobb

Phd Student Position In Formal Verification Of Auto..

PhD student position in Building Design and..

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position - Future of Work and Artificial Intelligence

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in PhD Student in THz and Microwave electronics

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position - Elastocapillary phenomena in 2D materials

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in Data-driven methods for...

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student positions in Semiconductor devices for...

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in Data-driven methods for...

Workey

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in Building Design and..

Workey

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in optical quantum network

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in Iron combustion

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in optical quantum network

Workey

Göteborg, Västra Götaland

en månad sedan - sett

PhD student position in Urban Design and Planning

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in Urban Design and Planning

Workey

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in Advanced Transmitter topology and circuit design

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in Advanced receiver topology and circuit design

Workey

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in Advanced Transmitter topology and circuit design

Workey

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in Dynamics of spins and chiral phonons

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

2 månader sedan - sett

PhD student position in management of excavated soil masses

Chalmers Tekniska Högskola Aktiebolag

Göteborg, Västra Götaland

2 månader sedan - sett