Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
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
-
(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
-
financial support. Information about the institute, its members, and salient activities may be found on its site https://poincare.univ-lorraine.fr/fr/axes . The Poincaré Archives are recognized in France and
-
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
-
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