-
• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda
-
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
-
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