Sort by
Refine Your Search
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science , University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
to an expert assessment committee for evaluation. The selected applicants will be informed about the composition of the committee and will receive his/her assessment. Formalities and salary range Technical
-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
for evaluation. The selected applicants will be informed about the composition of the committee and will receive his/her assessment. Formalities and salary range Technical Sciences refers to the Ministerial Order
-
-makers and innovative teaching materials, resources and pathways for formal and non-formal language learning in a digital Europe. In this context, IRP13 investigates the impact of migration-language
-
composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Formalities and salary range Natural Sciences refers
-
dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental
-
to the teaching of courses. DTU employs two working languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification
-
computation. Familiarity with both topics is a definite benefit, but not a strict requirement. The position requires a solid mathematical skill set and the ability to formally analyse and prove properties
-
are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or equivalent) within one of the following