5 verification "FEUP" positions

FEUP | Competition for an Assistant Professor | Mining Engineering - Notice No. 217/2026-DOCPUB-FEUP-26-4

University of Porto | Portugal | 9 days ago

course unit within that subfield, within the remit of the Faculty of Engineering of the University of Porto (FEUP), and propose its reformulation in terms of content, pedagogical approaches and teaching

Public notice for one research grant Refª BI|2026/826 Project SafelaC – Refª LISBOA2030-FEDER-00866800 funded by operation nº 15018, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 06-Jan-26

INESC ID | Portugal | 2 months ago

the formal verification process 3) Participate in regular project meetings with the other members of the SafeIaC project 4) Produce a technical report with all the research findings to be submitted to a

FEUP | 1 Assistant Professor | Civil Engineering - Public Notice 1/2026 - DOCPUB-FEUP-25-17

University of Porto | Portugal | about 2 months ago

of applications Candidates must access and register on the electronic platform www.apply.up.pt to submit their application, selecting the procedure to which they wish to apply (procedure code: DOCPUB-FEUP- 25-17

FEUP | 1 Assistant Professor | Civil Engineering - Public Notice 2010/2025 - DOCPUB-FEUP-25-18

Universidade do Porto – HR | Portugal | about 2 months ago

and register on the electronic platform www.apply.up.pt to submit their application, selecting the procedure to which they wish to apply (procedure code: DOCPUB-FEUP-25-18), until the deadline. 6.2

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - VeriFixer - HASLAB (AE2025-0609)

INESC TEC | Portugal | about 2 months ago

. OBJECTIVES: The selected candidate will be a member of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular