PhD Position in Verification of Concurrent Programs
Grande área: Engenharias
Tipo de oportunidade: Pós-graduação
Objetivo: To design fundamental techniques and tools that extend state-of-the-art verification of concurrent programs. To that end, the Ph.D. student will establish the required theoretical basis and carry out a substantial implementation effort to produce verification tools that will run on real programs.
Inscrições: até 26 de abril de 2021
Local: Suécia
Mais informações no site.