Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software
-
Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software
-
with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation
-
models and running simulations for various operational scenarios, but also applying the simulation results to the design and verification of biological shielding components, preparing risk analysis reports
-
security analysis. Your work assignments Your task as a PhD student will be to conduct world-class research in cybersecurity as part of the project “Protocol security verification using dynamic key
-
advanced technology integrates electronics and software. We address critical challenges for a sustainable future society, such as the growing demand for safety and security in a digital world. The department
-
using online testing tools. Analyze complex multimodal neuroimaging data using advanced processing software (e.g., FreeSurfer, FSL) and statistical methods. Prepare scientific manuscripts for publication
-
the Wallenberg Launchpad (WALP). We are seeking a highly motivated and talented researcher with a strong background in formal verification and microarchitectural security to join our dynamic research group
-
(LLMs) and how to use such models in contexts requiring high confidence and correctness. The research includes topics such as verification methods within safety-critical software engineering and
-
. Verification of your documents Karolinska Institutet checks the authenticity of your documents. Karolinska Institutet reserves the right to revoke admission if supporting documents are discovered to be