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: