-
implementation. About the project Reactive synthesis refers to the automatic generation of programs from high-level behavioral specifications. This approach plays an increasingly important role in areas such as
-
. The PhD student will be enrolled in a doctoral programme of Chalmers and is jointly supervised by supervisors from the academic and industry sectors. Further information can be obtained by contacting Docent
-
performance are expected. Required qualifications: Proficiency in programming (primarily Python or MATLAB) Strong communication and collaboration skills, including the ability to work across research groups and
-
. Good skills in programming (e.g. Matlab, Python, C/C++) Strong written and verbal communication skills in English The following experience will strengthen your application: Experience with radars