PROJECT GOLEM (45917) CALL 04/SI/2019PROJECTO GOLEM (45917) CALL 04/SI/2019
Type of Position: Research Fellowship (Bolsa de Investigação)
Type of Contract: Research grant
Duration: 12 Months
Limit to reply: 2020-Dec-15
2 research grants with reference number BI|2020/85 and BI|2020/86 are now available under the scope of project GOLEM (45917) CALL 04/SI/2019, funded by FEDER, PORLISBOA, ANI and FCT .
BI|2020/85 – Activity a) The main goal is to extend the tool FOREST, an interactive multi-tree synthesizer for regular expressions.
BI|2020/86 – Activity b) The main goal is to extend the tool CUBES, a parallel program synthesis tool, to exhibit a deterministic behaviour.
Maria Inês Camarate de Campos Lynce de Faria