Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
soon as possible thereafter. The workplace is the SDU Campus Odense in Denmark, with some travel required within Denmark. Mastering the Danish language at a proficiency level is a requirement
-
general planning of the PhD study programme, please see DTU's rules for the PhD education . Assessment The assessment of the applicants will be made by an evaluation committee headed by Professor Hariklia
-
of the PhD study programme, please see DTU's rules for the PhD education . We offer DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and
-
prior experience in at least three of the following areas: Python programming Develop LLM-based tools to automate data connector generation for data ingestion. Design and implement a multi-layered storage
-
, which includes researchers and developers at universities and industries on both sides of the Danish-German border. CIE is a initiative striving for high quality and great impact of its research
-
written and spoken English are required. Most importantly, you should strive toward scientific excellence, be highly motivated, ambitious, and hard-working. Only applicants who seek to be among
-
. Good communication skills in written and spoken English are required. Most importantly, you should strive toward scientific excellence, be highly motivated, ambitious, and hard-working. Only applicants
-
approval, and the candidates will be enrolled in one of the general degree programmes at DTU. For information about our enrolment requirements and the general planning of the PhD study programme, please see
-
hardware description language such as Chisel, VDHL, or Verilog. Knowing Chisel is a bonus. Knowledge of real-time systems System programming in C You must have a two-year master's degree (120 ECTS points
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and