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?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| How to be good in formal verification? | 3 | 1108 | October 7, 2022 | |
| PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE) | 0 | 707 | March 29, 2022 | |
| How to make verified software more accessible | 9 | 1603 | July 9, 2020 | |
| Verification Jobs @ Cryspen (France/Germany) | 0 | 685 | January 11, 2023 | |
| High assurance / high code complexity use of Coq | 16 | 2281 | December 4, 2019 |