Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Job Description 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
-
Arctic DTU and Security DTU. As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university globally recognized for the excellence of its research
-
for use in health science. The goal of this PhD project is to expand on these computational methods and their formal foundations and to create efficient algorithms and implementations of them. We
-
areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc
-
-driven methods, applied both to empirical research and to methodological innovation in economics and the social sciences. The successful candidate will employ advanced AI tools to analyze, model, and
-
opportunities for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal
-
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 you must hold a PhD degree (or equivalent). Specifically
-
. Qualification requirements Applicants should hold a PhD or equivalent academic qualifications. Formalities If nothing else is noted, applications must be submitted in English. Application deadline is at 11.59 pm
-
DTU Tenure Track Assistant Professor in Nanofabrication of Photonic Integrated Circuits for Quant...
nanofabrication. You have a well-documented track record in micro-fabrication and optics by a variety of technologies. As formal qualification you must hold a PhD degree (or equivalent). We expect that you: Are
-
. Qualification requirements Applicants should hold a PhD or equivalent academic qualifications. Formalities If nothing else is noted, applications must be submitted in English. Application deadline is at 11.59 pm