BUGSENG has a long-standing tradition of collaboration with universities, particularly in the context of internship and research projects. These partnerships foster innovation, support young talent, and help bridge the gap between academic knowledge and industrial practices in software verification and functional safety.
Among the most active institutions in recent years:
The University of Parma, one of the oldest in Italy, combines a rich academic tradition with forward-looking research and teaching. The Department of Mathematics and Computer Science is known for its work in formal methods, software engineering, and static analysis. BUGSENG regularly hosts interns from the Computer Science program and collaborates on advanced verification topics.
A globally recognized center for scientific and technological research, the University of Pisa is home to one of Italy’s leading engineering faculties. The Department of Information Engineering conducts cutting-edge work in embedded systems, cyber-physical systems, and programming languages. BUGSENG supports students in the Computer Engineering program through hands-on internships and joint research.
Ca’ Foscari is a research-intensive university with a growing reputation in the field of computer science. In collaboration with the Department of Environmental Sciences, Informatics and Statistics, BUGSENG is currently supporting an industrial PhD program focused on advancing the C‑Rusted project. This initiative explores new foundations for the verification and safe integration of C and Rust code in high-assurance systems.
If you are a student, check our open internships and experience real-world verification challenges while learning alongside a team of professional engineers. If you represent an academic institution, our educational program also enables schools and universities to access ECLAIR under special conditions for use in teaching and research.
Get in touch
