A tender is open for the attribution of three Research Scholarships for a 1st cycle student in Mathematics or integrated MSc course in Computer Science is opened within the scope of the R&D Unit “Center for Mathematics and Applications” (CMA) (UI/297/2020), financed by “Fundação para a Ciência e a Tecnologia, I.P.”/MCTES (FCT, I.P.) (ref. UIDB/00297/2020) through national funds (PIDDAC) (OE).

Candidates must be regularly enrolled, in the academic year 2022/2023, in a 1st cycle in Mathematics or integrated MSc course in Computer Science. The documents that verify this situation must be presented, at most, by the time of the scholarship contract, being able to be replaced previously by a Declaration on honor. 

Scientific Area: Computational Algebra with emphasis on automated theorem proving (ProverX).

Work Plan: It is intended that the scholarship holders will collaborate in the ongoing research activities at the CMA (https://novamath.fct.unl.pt), namely, producing Python packages for ProverX and finding new theorems.

Application deadline: Applications must be submitted between the period from 20th to the 31st of March of 2023.

Further details are available on the website: https://euraxess.ec.europa.eu/jobs/85323