# Internships in software verification

**URL:** <https://discourse.rocq-prover.org/t/internships-in-software-verification/2594>\
**Category:** Miscellaneous\
**Created:** [April 7, 2025, 11:03am UTC](https://discourse.rocq-prover.org/t/internships-in-software-verification/2594 "2025-04-07T11:03:04Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![uussieerr](https://avatars.discourse-cdn.com/v4/letter/u/dfb087/32.png) [@uussieerr](https://discourse.rocq-prover.org/u/uussieerr)\
**Post date:** [April 7, 2025, 11:03am UTC](https://discourse.rocq-prover.org/t/internships-in-software-verification/2594/1 "2025-04-07T11:03:04Z")

</div>

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?