Security Research Intern

We are looking for highly motivated students to join our research team in developing solutions that apply machine learning/deep learning algorithms and formal methods to security and privacy problems. Example applications include, but are not limited to, utilizing AI and formal methods to analyze software vulnerabilities, modeling of secure systems, automation of security engineering processes, security of generative models, and fine-tuning models for specific security use cases. This internship role will focus on the following responsibilities:Design and development of novel methods/systems, implementation, and evaluation using benchmarks and Bosch data from various security application domains.Technical discussions with the research team towards creation of new ideas and improve upon the existing solutions.Clean, efficient, and well-documented implementation of new methods.Contributions to Bosch IP portfolio.