Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
programming and ease with formal thinking are prerequisites. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
your particular niche will be part of the position. The group has a very strong infrastructure and internal teaching program and covers multiple areas of pharmacoepidemiology, including method
-
. To achieve this, the Center will develop and deliver research-based education for the future workforce – spanning bachelor, master, PhD, and life-long learning. The Center is based upon grant funding of DKK
-
, ultimately 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
-
. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial communities, for use in health science. We aim to expand