Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Telecomunicações
- Newcastle University
- NTNU Norwegian University of Science and Technology
- Nature Careers
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- ESS - Escola Superior de Saúde
- Fondazione Bruno Kessler
- Hannover Medical School •
- Instituto Superior de Agronomia
- Norwegian University of Life Sciences (NMBU)
- RPTU University Kaiserslautern-Landau •
- SciLifeLab
- Universidade Católica Portuguesa - Porto
- University of Bergen
- University of Luxembourg
- University of Sheffield
- University of Surrey;
- University of Utah
- Uppsala universitet
- 13 more »
- « less
-
Field
-
or participant privacy. Several of the most active research frontiers in this field include: Certified unlearning with formal guarantees — developing methods with provable erasure bounds, connecting
-
creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized
-
degree awarded by a foreign higher education institution, it must comply with the provisions of Decree-Law no. 66/2018, of August 16, and all formalities established therein must be fulfilled by
-
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
-
the CRADLE team, the project will further refine and verify the proposed control framework through formal verification techniques. We are seeking highly motivated candidates with a strong background in control
-
structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose of contracting, in case of approval
-
August, and all formalities established therein must be complied with at the signature of work contract. 7.The tender admission general requirements are those defined in the previous point 6, and
-
their Ph.D abroad must have it formally recognized in Portugal, including conversion of the final grade into the Portuguese grading scale, in accordance with Decree-Law no. 66/2018, of 16 August. 2.2
-
for the position. Preferred selection criteria Knowledge of digital assurance frameworks, verification methods, or formal modeling Familiarity with adaptive or machine learning/artificial intelligence systems
-
and critical infrastructure simulation. Training on formal verification methods (probabilistic model checking) and AI safety compliance (EU AI Act standards) will also be provided. Student Applicant