3 formal-method-phd "https:" Postdoctoral positions in Netherlands

Postdoc position on Federated/Continual Learning for Time-Series IoT Data (TRUMAN Project)

University of Twente (UT) | Netherlands | 6 days ago

performance but prioritize robustness, fairness, and privacy, critical requirements when dealing with time-series data. More info about the TRUMAN project can be found here . Where to apply Website https

Postdoc in Neuro-Symbolic Methods Integrating Generative AI with Symbolic Reasoning

Eindhoven University of Technology (TU/e) | Netherlands | 3 months ago

of the former is compliant with explicit and formal system constraints. The position is within the context of the EU-funded SmartEM project , which aims to use AI-assisted methods to create industrial surrogate

Postdoc Position: HCI and Inclusive Urban Mobility - University of Amsterdam

University of Amsterdam (UvA) | Netherlands | about 2 months ago

they form a permanent reality of how we experience our cities. These barriers signify an “informal” layer of inaccessibility superimposed on more structural or “formal” accessibility problems in the city