Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
20 Jan 2026 Job Information Organisation/Company Idiap Research Institute Research Field Computer science Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application
-
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
-
PhD Research Fellow in formal methods and knowledge representation available at Department of Informatics. The fellowship period is three years. Depending on the candidate and the teaching needs
-
19 Jan 2026 Job Information Organisation/Company The University of Manchester Department Computer Science Research Field Computer science 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
-
University of Oslo. Place of work is the Department of Informatics at Blindern, Oslo. Job description Are you interested in a PhD in the field of formal methods and knowledge presentation? In this PhD position
-
14 Jan 2026 Job Information Organisation/Company Ecole Nationale de l'Aviation Civile Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher
-
31 Jan 2026 Job Information Organisation/Company UNIVERSITY OF SOUTHAMPTON Research Field Computer science Researcher Profile First Stage Researcher (R1) Application Deadline 19 Feb 2026 - 00:00