Sort by
Refine Your Search
-
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
-
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
-
fellow will carry out the development of theoretical and methodological formalisms in relativistic quantum chemistry, as well as their implementation (Python). The position is within the BRUNCH project
-
about the financialization of capitalism, it often neglects the extremely profitable informal, illegal, and illicit financial markets, which are increasingly connected to formal global finance