Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Fondazione Bruno Kessler
- Graz University of Technology
- Hanken School of Economics
- Tilburg University
- Aalborg University
- Aarhus University
- Constructor Knowledge Labs gGmbH
- Eindhoven University of Technology (TU/e)
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Telecomunicações
- NTNU - Norwegian University of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Silesian University of Technology
- University of Bergen
- University of East Anglia
- University of East Anglia;
- 8 more »
- « less
-
Field
-
merit-based joint TUAI recruitment process. Stage 1 – Eligibility and qualification screening: applications will be assessed against the formal MSCA-DN eligibility requirements and the scientific and
-
formally embedded in the Department of Intelligent Systems (DIS) and will collaborate closely with the Department of Computational Cognitive Science (DCS). The project The SHIELD project is a collaboration
-
quantification, robustness, formal verification, safety, privacy or AI governance and regulation. Familiarity with maritime, autonomous systems, or other safety-critical application domains. Demonstrated research
-
. The PhD researcher will be formally embedded in the Department of Intelligent Systems (DIS) and will collaborate closely with the Department of Computational Cognitive Science (DCS). The project The SHIELD
-
, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a
-
, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
August, and any formalities established therein must be fulfilled by the date of signing the employment contract. 7. The general requirements for admission to the competition are those defined in
-
Responsibilities Teaching as needed, particularly in the area of "Cryptology & Privacy" Scientific research in the field of symmetric cryptography Developing new methods for the design, cryptanalysis, and formal
-
Primary Supervisor: Dr. Christopher Birkbeck This PhD project, based at our Norwich campus, offers a unique opportunity to work at the confluence of number theory, representation theory, and formal