PhD student - Computer Science or Mathematics
Collaborative Research Center KIT Basic Research Cyber Physical SystemsThe Karlsruhe Institute of Technology (KIT)
The Karlsruhe Institute of Technology (KIT) is one of the largest research institutes in Germany. It was founded in 2009 from the merging of the University of Karlsruhe and the Karlsruhe Research Center. The Institute offers a wide range of study programs in the fields of natural sciences, engineering, economics and humanities. With its strong focus on research and innovation, KIT is one of the leading technical universities in Europe.
Workplace in the Collaborative Research Center
As part of the Collaborative Research Center 1608 “Convide - Consistency in the vision-based development of Cyber-Physical Systems", funded by the German Research Foundation (DFG), the Karlsruhe Institute of Technology (KIT) offers exciting entry opportunities for committed scientists.
Task Definition
- Development and implementation of methods for formal verification in the development of cyber-physical systems.
- Collaboration in an interdisciplinary team of researchers.
- Publication and presentation of research results at international conferences and in scientific journals.
- Opportunity to teach and supervise students.
Education & Qualifications (m/f/d)
- Successfully completed university degree (Master's or comparable) in computer science, mathematics or a related field.
- Strong analytical skills and profound interest in formal verification and cyber-physical systems.
- Experience in programming languages and formal methods.
- Teamplayer with initiative and excellent communication skills in English.
Contract Offer
- An innovative research assignment
- A dynamic research environment
- Access to the latest research infrastructure
- Support of further scientific training and career development
- Attractive salary in accordance with TV-L
