Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
to: Investigate how logical and philosophical theories can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology
-
, tasks have a continuous evolution, and the precedence graph becomes dynamic. There is an initial method proposed in the literature, where a static model is proposed, introducing two states of products
-
, collaborating across disciplines to tackle fundamental challenges through innovative methods, theory and critical analysis. The fellowship period is 3 years. Starting date as soon as possible and upon individual
-
for excellent scientists with background and experience in one or more of the following areas: graph algorithms, parameterized complexity, approximation algorithms, extremal combinatorics, structural graph theory