39 software-formal-method-phd positions at INESC ID

Public notice for one research grant with Refª BI|2025/774 Project AILA-Refª 2024.07657.IACDC-funded by Fundação para a Ciência e a Tecnologia, under the measure RE-C05-i08.M04-Application submission from 9 to 23 of October, 2025

INESC ID | Portugal | about 2 months ago

the project, not exceeding the maximum period set by FCT for such grants. RENEWALL Renewable is subject to performance if the candidate is enrolled in a PhD program - art. 6º, n.4 c) https

Public notice for research grant Refª BI|2025/769 Project SHELL – Refª LISBOA2030-FEDER-00748300

INESC ID | Portugal | 2 months ago

degree in Computer Science and Engineering, Software Engineering or equivalent area, and with a suitable scientific and professional curriculum may apply. The candidate(s) must be enrolled in a MSc program

Public notice for one fixed-term work contract for a Researcher reference 2025.020.CTTRC | Application submission from September 18 to October 1 of 2025

INESC ID | Portugal | 2 months ago

. Candidates shall be ordered by applying the successive voting method. The jury has the faculty to not approve a candidate who is not considered on absolute merit. Candidates with an average score below 70

Public notice for one research grant - Refª BI|2025/766 Project SYNTHESIS-refª LISBOA2030-FEDER-00868200

INESC ID | Portugal | 2 months ago

: PhD program - art. 6º, n.4 c) https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 https://files.dre.pt/2s/2019/12/241000000/0009100105.pdf subject to suitable performance within

Public notice for one research grant - Refª BI|2025/753 Project GROW-LC - I3AC003101 Application submission from 22-Sep-2025 to 06-Oct-2025

INESC ID | Portugal | 2 months ago

of the project, not exceeding the maximum period set by FCT for such grants. RENEWALL Renewable is subject to performance if the candidate is enrolled in a: PhD program - art. 6º, n.4 c) https

Public notice for one research grant - Refª BI|2025/752 Project WebCAP - refª 2024.07393.IACDC Application submission from 17 to 30 of September 2025

INESC ID | Portugal | 2 months ago

set by FCT for such grants – 2 years (included contract renewals) PhD program - art. 6º, n.4 c) https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 https://files.dre.pt/2s/2019/12

Public notice for one research grant Refª BI|2025/802 Project ATE – Refª C644914747-0000023 - Application submission from 28-Nov to 16-Dec, 2025

INESC ID | Portugal | 3 days ago

formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates may complain about the evaluation panel final report for 15 working days after

Public notice for research grant Refª BI|2025/803 Project ATE – Refª C644914747-0000023, Application submission from 28-Nov to 16-Dec, 2025

INESC ID | Portugal | 3 days ago

ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates

Public notice for one research grant Refª BI|2025/783 Project MYRIARCH– Refª 2022.09325.PTDC funded by Fundação para a Ciência e a Tecnologia Application submission from 22-Oct to 05-Nov 2025

INESC ID | Portugal | about 1 month ago

formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates may complain about the evaluation panel final report for 15 working days after

Public notice for research grant Refª BI|2025/768 Project ATE – Refª C644914747-0000023,Application submission from 29-Sep to 13-Oct, 2025

INESC ID | Portugal | 2 months ago

, COMPLAIN AND APPEAL DEADLINES The admitted and excluded candidates will be notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal