-
collaborators both from SDU as well as abroad. In particular, the project involves a formal collaboration with the Institute for Computational Genomics at RWTH Aachen University, Germany. Research visits to our
-
documents must be in PDF format. The application deadline is December 12, 2025, at 11.59 PM / 23.59 CEST. Formalities Documents must not contain any CPR number (Danish personal identification number). If a
-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions