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 | |
|---|---|---|---|---|
| PhD student position on proof theory and verification of legal software in Coq, Barcelona (Deadline: April 3rd, AoE) | 0 | 687 | March 29, 2022 | |
| Verification Jobs @ Cryspen (France/Germany) | 0 | 625 | January 11, 2023 | |
| Proof engineering survey published | 3 | 1088 | March 17, 2020 | |
| High assurance / high code complexity use of Coq | 16 | 2204 | December 4, 2019 | |
| PhD Position in formal proofs @LMF/Université Paris-Saclay | 0 | 457 | September 28, 2023 |