Karlsruhe Institute of Technology (KIT) – The Research University in the Helmholtz Association creates and imparts knowledge for the society and the environment. It is our goal to make significant contributions to mastering the global challenges of mankind in the fields of energy, mobility, and information. For this, about 9,800 employees of KIT cooperate in a broad range of disciplines in research, academic education, and innovation.
The Institute of Information Security and Dependability (KASTEL) is looking for the next possible date and limited for an initial period of two years with possible extension up to six years in total for a
PhD-Researcher (f/m/d)

Job description
Software-intensive autonomous and heterogeneous systems are becoming widely available as an open-ended collection of systems, collaborating to improve our lives. However, our world is dynamic, user behaviour changes and computer and communication infrastructures fail due to unforeseen events, including malicious attacks. Consequently, the need for our technical systems to automatically adapt to new situations, counter unforeseen events and deal with imprecise data is increasing considerably. To facilitate the interaction of autonomous systems with humans, explainability emerges as a crucial non-functional property to be featured to achieve transparency and increase awareness of the systems‘ behaviour, hopefully leading to their acceptance in our society.
In a network of leading scientists, together with computer scientists and engineers, you will research procedures, tools and methods for the design of software-intensive self-adaptive systems, taking into account the surrounding uncertainties and exploring different explainability options. Your results will enable the efficient construction of sustainable technical products. The approaches you research allow, for example, the implementation of modern visions of mobility.
In this context, KIT advertises positions for academic staff with a Master’s degree.

Personal qualification
Master-s degree in computer science
Interest and ideally experience in interdisciplinary work in the field of computer science and engineering
Experience with development and analysis methods for software-intensive technical systems
Specialisation in formal methods and software engineering
Pleasure in taking on responsibility
Ability to communicate in spoken and written form, confident command of the English language, good knowledge of German or willingness to acquire it

Become a member of staff of the only German University of Excellence that conducts large-scale research on the national level. Work under excellent working conditions in an interna-tional environment and be active in research and academic education for our future. Benefit from specific training when starting your job and from a wide range of further qualification offers. Use our flexible working time models (flexitime, work from home), our sports and lei-sure offers, as well as our child and holiday care services. We also pay a share of EUR 25/month in the Job Ticket Baden-Württemberg. Enjoy a large variety of dishes, snacks, and beverages at our canteens.

We prefer to balance the number of employees (f/m/d). Therefore we kindly ask female applicants to apply for this job.
Recognized severely disabled persons will be preferred if they are equally qualified.

Please apply online until December 31, 2023 using the vacancy number 2294/2023 to Ms Raquel Carrasco Sánchez, Karlsruhe Institute of Technology (KIT), Kaiserstr. 12, 76131 Karlsruhe, Germany.

For further information, please contact Professor Dr. Raffaela Mirandola, e-mail: sdq-sekretariat@kastel.kit.edu .

Your personal data will be processed by KIT in accordance with this privacy policy.

You can find further information on the internet: www.kit.edu

KIT – The Research University in the Helmholtz Association