PhD Research Fellowship in Formal Methods for Probabilistic Programs

29/04/2021 15:00

Grande áreaExatas e da Terra / Engenharias

Tipo de oportunidadeBolsaPó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.

Tags: BolsaDoutoradoExteriorNoruegaPós-graduação