Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Science
- Engineering
- Biology
- Education
- Business
- Materials Science
- Mathematics
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Psychology
- Environment
- Law
- Philosophy
- Chemistry
- Linguistics
- Earth Sciences
- Humanities
- Sports and Recreation
- 12 more »
- « less
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
on the basis of consent before its withdrawal. Selection process The first stage of the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification
-
compliance with the requirements specified in Article 113 of the Higher Education and Science Law Act Declaration forms and a sample of the personal questionnaire can be downloaded from: https
-
compliance with the requirements specified in Article 113 of the Higher Education and Science Law Act Declaration forms and a sample of the personal questionnaire can be downloaded from: https
-
Application Deadline: 31 May 2026 Details This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment
-
the lawfulness of the processing of personal data carried out on the basis of consent before its withdrawal. Selection process The first stage of the competition procedure is the formal verification of submitted
-
the publishing house and points of MEN, and IF); information on any teaching classes; with note: Konkurs_asystent_KROiSzO Selection process The first step of the competition procedure is the formal verification
-
6 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire lorrain de recherche en informatique et ses applications Research Field Computer science Mathematics » Algorithms
-
Analysis and Synthesis https://www.cs.aau.dk/research/research-groups/quantum-systems-analysis-and-synthesis-qsas The Department of Computer Science features a broad range of synergistic activities within
-
analysis and interpretation of the results Where to apply Website https://jobs.vhir.org/jobs/7273353-predoctoral-researcher-nephrology-and-transp… Requirements Research FieldBiological sciences