Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- BI Norwegian Business School
- University of Groningen
- ; The University of Edinburgh
- ; University of Bristol
- CNRS
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto de Telecomunicações
- Ludwig-Maximilians-Universität München •
- Norwegian University of Life Sciences (NMBU)
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of Groningen; 26 Sep ’25 published
- 9 more »
- « less
-
Field
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and check desired properties
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
-
to submit applications: Applications may be formalized through the IPB application submission portal (http://concursos.ipb.pt ), with the inclusion of the following documents: a) Curriculum Vitae; b
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
The Accounting group in the Department of Accounting of Operations Management is divided into two sub-groups: One group conducts quantitative (formal analytical and archival) research in the areas of financial