20 software-formal-method-phd Postdoctoral research jobs in Portugal

First Level Doctorate Researcher in the scientific area of Materials Science and Engineering (CDL-CTTRI-125-SGRH/2026) at University of Aveiro – BIOCOATING Project

Universty of Aveiro | Portugal | 23 days ago

legislation. Patent authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization

Postdoctoral Researcher – Theory of Quantum Computation for Quantum Many-body Physics (Ref.27.26.443)

International Iberian Nanotechnology Laboratory (INL) | Portugal | 30 days ago

Researcher (R2) Positions PhD Positions Application Deadline 20 Sep 2026 - 23:00 (Europe/Lisbon) Country Portugal Type of Contract Temporary Job Status Full-time Hours Per Week 40 Is the job funded through

First Level Doctorate Researcher, for Project Manager (CDL-CTTRI-321-SGRH/2025) at University of Aveiro – HE INCEPTION project

Universty of Aveiro | Portugal | about 1 month ago

of technical standards and legislation. Authorship and co-authorship of patents, registrations of intellectual property rights over software, mathematical methods, and rules for mental activity. Participation in

Public notice for one Post-Doctoral Research Grant - BPD|2026/951 Projet SHELL– refª LISBOA 2030-FEDER-00748300 - 16321 - 2023.16994.ICDT Application submission from 03 to 30 September 2026

INESC ID | Portugal | 27 days ago

: OBJECTIVES | FUNCTIONS The candidate will integrate a research group composed of PhD and master students that work on several topics related to systems research. The candidate will be responsible for mentoring

First Level Doctorate Researcher, areas: Chemistry, Biochemistry, Biotechnology and Bioinformatics (CDL-CTTRI-130-SGRH/2026) at University of Aveiro –

University of Aveiro | Portugal | 2 months ago

univariate and multivariate statistical analysis methods and with bioinformatics tools, including MATLAB, SIMCA, R, Python, MetaboAnalyst, KEGG, Ingenuity Pathway Analysis and other software related to omics

First Level Doctorate Researcher in the scientific area of Civil Eng (CDL-CTTRI-103-SGRH/2026) at University of Aveiro – Project "FireLSF"

University of Aveiro | Portugal | 2 months ago

legislation. Patent authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization

First Level Doctorate Researcher in the scientific area of Material Science and Engineering (CDL-CTTRI-118-SGRH/2026) at University of Aveiro

University of Aveiro | Portugal | 2 months ago

authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the

Postdoctoral Researcher – Quantum Photonic Setup Development and Application in the Area of Quantum Ion Traps and Quantum Sensing (Ref.25.26.428)

International Iberian Nanotechnology Laboratory (INL) | Portugal | about 2 months ago

control software development, and the possibility to implement the quantum sensing unit for temperature measurements into a quantum ion trap setup developed at our collaborators site at University

First Level Doctorate Researcher in the scientific areas of Physics, Eng Physics, Chemical Eng, Materials Science and Eng (CDL-CTTRI-104-SGRH/2026) at University of Aveiro

University of Aveiro | Portugal | 3 months ago

authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the

First Level Doctorate Researcher in the scientific area of Biomedical Sciences (or related areas)(CDL-CTTRI-112-SGRH/202x) at University of Aveiro – Nº of the Project 14915, in its FEDER/FNR

University of Aveiro | Portugal | 3 months ago

legislation. Patent authorship and co-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization