Sort by
Refine Your Search
-
the interface of education and social work and ambition to advance one of the aforementioned subject areas Training and experience in qualitative empirical methods/mixed methods research Openness to further
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
an innovative multi-method design, the project integrates: Daily diary and ecological momentary assessment (EMA) approaches In-depth qualitative and immersive fieldwork conducted by the geography team A key
-
of the methods. The project is carried out in close collaboration with Helical-AI, an industrial partner specialized in large-scale genomic foundation models and HPC-enabled model deployment, ensuring
-
, computational mechanics, computer science, applied mathematics or similar Strong experience with deep learning, e.g. PyTorch, JAX, TensorFlow, and probabilistic methods Familiarity with graph neural networks
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package
-
on extending methods for detecting the pose of an object (possibly occluded, even if only partially) held by a person to 360-degree robot vision, in line with mesh detection and biomechanical variables
-
mechanics, applied mathematics, biomedical engineering, computer science or a closely related discipline Strong background in finite-element methods, continuum mechanics and numerical analysis Excellent
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing