Robert-Bosch-Campus 1, 71272, Renningen, DE Vollzeit Unternehmensbeschreibung At Bosch, we shape the future by inventing high-quality technologies and services that spark enthusiasm and enrich people’s lives. Our promise to our associates is rock-solid: We grow together, we enjoy our work, and we inspire each other. Welcome to Bosch. The Robert Bosch GmbH is looking forward to your application! Stellenbeschreibung - We are looking for a research engineer to support our research team working on neuro-symbolic AI and developing concepts to apply these to validation problems in automated driving (AD). - You will support us in developing new algorithms, tools, and services together with our international as well as interdisciplinary team of research scientists and PhD students. - Your goal is to make cutting-edge AI methods available for transfer to real-world AD use cases. - Furthermore, you will develop and test conceptual solutions for AD validation based on formal methods. - In addition, you implement Answer-Set Programming (ASP) solutions for semantic verification of AI systems describing simultaneous multi-agent behavior. - As well, you will develop scalable methods and software tools for safety argumentation of L4 autonomous driving systems based on formal methods. - Last but not least, contribute to research on applications of neurosymbolic AI in the validation of AD systems and supervise Master's as well as/or PhD students. Qualifikationen - Education: excellent degree (Master) in Computer Science, Computational Logic or related field, PhD is a plus - Experience and Knowledge: experience in answer-set programming, neuro-symbolic AI methods or related paradigms based on formal methods, strong experience in software engineering, with relevant industry experience, profound skills in several programming languages, including Python and C as well as deployment tooling, experience in validation of AI or AD systems, as well as neuro-symbolic AI is preferred, Knowledge with simulation software in the AD domain is a plus - Personality and Working Practice: team player as well as independent - Enthusiasm: passion for creating well-written code, keen to learn new technologies and sharing knowledge - Languages: fluent in English (written and spoken) Zusätzliche Informationen Please submit all relevant documents (CV, letter of motivation, certificates, and links to GitHub or kaggle account). You want to work remotely or part-time - we offer great opportunities for mobile working as well as different part-time models or job-sharing. Feel free to contact us. Diversity and inclusion are not just trends for us but are firmly anchored in our corporate culture. Therefore, we welcome all applications, regardless of gender, age, disability, religion, ethnic origin or identity. Need support during your application? Michael Streitmayer (Human Resources) Need further information about the job? Michael Pfeiffer (Business Department)
Research Engineer for Neuro-symbolic Validation Methods in Automated Driving (f/m/div.) (Informatiker/in (Hochschule))