Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Science
- Business
- Education
- Mathematics
- Materials Science
- Electrical Engineering
- Philosophy
- Biology
- Psychology
- Arts and Literature
- Environment
- Law
- Social Sciences
- Chemistry
- Linguistics
- Earth Sciences
- Humanities
- Sports and Recreation
- 12 more »
- « less
-
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
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
, Computer Science, Life Sciences and Medicine. Through its dual mission of teaching and research, the FSTM seeks to generate and disseminate knowledge and train new generations of responsible citizens in
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
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
-
25 Feb 2026 Job Information Organisation/Company FESB, Split Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions
-
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