Sort by
Refine Your Search
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
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 these methods and their
-
Cheminformatics at the Department of Mathematics and Computer Science at SDU offers a dynamic research environment, comprising two full professors, one associate professor, one assistant professor, one postdoc, and
-
information Further information is available at www.cfu.dtu.dk or from Professor Jørgen Arendt Jensen, tel: +45 4525 3924, e-mail: jaje@dtu.dk . You can read more about DTU Health Tech at www.healthtech.dtu.dk
-
Sustainability in association with Professor Christina Lioma and her Machine Learning research team in the Department of Computer Science at the University of Copenhagen. The sub-package focuses
-
the research group, Audio Analysis Lab, within the Department of Electronic Systems, focusing on audio and acoustic signal processing for improving health, well-being, and security. Our work addresses real-world
-
currently consists of three Professors, two Assistant Professors, a Lab Manager, a Center Administrator, an Administrative Supporter and approximately 10–15 PhD students, postdocs, and visiting scientists
-
. 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
-
research team. This position will be affiliated with the teams of Associate Professors Chiara Francavilla and Erwin Schoof in the Section for Medical Biotechnology at the Department of Biotechnology and