Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
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
-
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
-
members, including 36 permanent employees, divided into six research areas specializing in embedded systems and formal methods. The successful candidate will join the FETLAS team and report directly to Mr
-
physics, particularly those arising from renormalization-group methods. The successful candidate will collaborate with the principal investigator and other members of the group to invent, refine, and
-
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
-
for representing and reasoning about arguments, and axiomatically-grounded methods of argument evaluation. Natural language argumentation is a young research area at the crossroads of natural language processing
-
nanoparticles, whose manufacture is generally based on “trial & error” methods. Thus, the aim of TOSCaNA is to develop an experimental approach and a CFD formalism for predicting the size and morphology of metal
-
for monitoring territorial and development changes. Baltic cities are transforming at scales and rates that challenge conventional methods of spatial analysis. Today, urban areas are no longer just the setting