Internships in software verification

I graduated from the university with a degree in computer science with PL related courses. I have some experience working in a company that deals with things related to programming languages ​​in general. There I was writing code analyzers. But now I am starting to be interested in tasks related to formal verification of code, because I have always been concerned about the correctness of written programs and would like to delve deeper into formal verification. But at the university I did not have courses that, as it seems to me, are closely related to this, that is, I did not study coq / rocq, programming with dependent types, and so on. Is there a chance to find an internship in a company working in this direction without having extensive experience in this field or a master’s degree - a must-have for this kind of work?