Sort by
Refine Your Search
-
Employer
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Published today
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- European Space Agency
- University of Amsterdam (UvA); Published 7 Nov ’25
- University of Twente (UT)
- Utrecht University
- Wageningen University & Research
- 5 more »
- « less
-
Field
-
A PhD degree in applied mathematics, computer science, electrical engineering, mechanical engineering,or applied physics.•A research oriented attitude with affinity for advanced formal mathematics
-
focused on integrating generative AI (e.g., LLMs) with symbolic reasoning, where the latter can verify the output of the former is compliant with explicit and formal system constraints. The position is
-
that need it most. The postdoc will develop formal theory designed to inform research and interventions conducted by the consortium, as described next. There is striking variation in stress responses within
-
for individuals and situations that need it most. The postdoc will develop formal theory designed to inform research and interventions conducted by the consortium, as described next. There is striking variation in
-
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
-
of inaccessibility superimposed on more structural or “formal” accessibility problems in the city. This informal layer is highly diverse, stems from many underlying causes and factors, and highlights a notable
-
access to sports facilities on campus; A minimum of 232 leave hours in case of full-time employment based on a formal workweek of 38 hours. A full-time employment in practice means 40 hours a week
-
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
-
of the results to a broader audience of policy makers and society as a whole. Your experience and profile: Formal requirements: Applicants must have, or be close to obtaining, a PhD degree in Actuarial Science
-
, or closely related fields. In addition, you are interested in foundational and formal aspects of computational models of language, you can demonstrate experience with, or a clear interest in, experimental