Sort by
Refine Your Search
-
Listed
-
Employer
- European Space Agency
- University of Twente (UT)
- Eindhoven University of Technology (TU/e)
- Utrecht University
- CWI
- 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)
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Radboud University
- Wageningen University & Research
- 6 more »
- « less
-
Field
-
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
-
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
-
on your previous education and number of years of (relevant) work experience. The amounts in the scale are based on a 38-hour working week. If you have not yet received formal approval of your PhD thesis
-
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
-
, 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
-
and formal aspects of computational models of language, you can demonstrate experience with, or a clear interest in, experimental research, and you are interested in interdisciplinary collaboration with
-
candidates will be invited to at least one formal interview, to be held in person or online.Apply via the application button and upload your CV and information. Are you interested in this vacancy? Please apply
-
list of your publications (if available), and contact details for two referees as part of your application. Shortlisted candidates will be invited to at least one formal interview, to be held in person
-
of full-time employment based on a formal workweek of 38 hours. A full-time employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis. Excellent support
-
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, therefore resulting in 96 extra leave