Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan
-
on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will developed at IDMEC - Institute of Mechanical Engineering, being both the Host and Contracting Entity, and
-
6 Jan 2026 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
students and collaborate internationally. Selection process Stage 1 – Formal Verification: Administrative check of documents and eligibility criteria. Stage 2 – Merit-Based Assessment: Committee evaluates
-
8 Jan 2026 Job Information Organisation/Company REQUIMTE - Rede de Quimica e Tecnologia Research Field Chemistry » Computational chemistry Researcher Profile First Stage Researcher (R1) Positions
-
program (this statement may be replaced by a declaration of honor from the candidate, with verification of this condition occurring only at the fellowship contract stage). LanguagesENGLISHLevelExcellent
-
program (2025.02832.MAD), funded by FCT-Madeira, under the following conditions: I. Scientific Area: Electrical Engineering and Computer Engineering II. Admission Requirements