PhD Research Fellowship in Formal Methods for Probabilistic Programs
Grande área: Exatas e da Terra / Engenharias
Tipo de oportunidade: Bolsa, Pós-graduação
Objetivo: The main purpose of this PhD position is to investigate the applicability of symbolic execution techniques for probabilistic programs.
Inscrições: até 15 de maio de 2021
Local: Noruega
Mais informações no site.