Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Começou ontem a extensão da precariedade dos investigadores

Abriu ontem o concurso para doutorados promovido pela FCT (CEEC 3ª Edição). Este concurso pretende dar aos investigadores contractos durante 6 anos apenas. Tipicamente aos 8-20% melhores cientistas que queiram trabalhar em Portugal, o Governo através da FCT dá um contracto de 6 anos, adiando o desemprego científico mais uns anos e não dando as mesmas garantias que no gabinete ao lado, um docente tem.

Obrigado FCT e obrigado Governo liderado pelo Sr. António Costa. Ser cientista em Portugal e contribuir para os avanços do país e do mundo não é um emprego digno.