'HR Excellence in Research' logo awarded to institutions actively implementing the European Charter and Code for Researchers.
Please note that the job is no longer active!
Real computational systems are not sequential, but distributed and concurrent. Many models for distributed computation have been proposed and studied over the past fifteen years. Such models have the nature of mathematical formalisms in which to describe and reason about the behaviour of concurrent computational systems. Their purpose is to provide an understanding of systems and their behaviour in theory, and to contribute to methods of design and analysis in practice. In the semantics of concurrent and distributed systems, a major dichotomy opposes the interleaving approaches to true-concurrent approaches.
Please note that the full description may be available in the national language since some job boards have their own publication policy. Thank you for your understanding!
To better plan and organise their stay in a foreign European country, researchers and their families can also benefit of the free and personalised assistance offered by the EURAXESS Services Centres, a network of more than 200 centres located in 40 different European countries.