Dresden, Germany
Internship Explorer
Internship Explorer
This internship is designed to provide you with first-hand industry experience in a thriving research center focused on systems and formal methods. You will have the opportunity to learn from and work alongside world-class researchers and engineers. Your mission * Gaining experience by working under guidance on exploratory and promising projects. * Contributing to areas such as algorithm design, verification tool development, or improving the performance of key systems. * Learning to deliver high-quality, maintainable systems code or formal proof artifacts. * Participating in team discussions and brainstorming sessions to help bring innovative solutions to reality. * Developing professional skills in reporting and presenting your work effectively in a company setting.
