-
research unit known for its transdisciplinary orientations, including artistic research, notably audiovisual methods. The position is part of the project “Radical Communities: Transdisciplinary Approaches
-
been proposed: traditional computer‑algebra methods [3], reduction of the problem modulo a prime p [6, 2], and symbolic‑numeric methods [4, 1]. This postdoc proposal concerns the second modular approach
-
statistical / machine learning methods, pathway/network analysis or artificial intelligence approaches. Other requirements: The candidate should have a PhD or equivalent degree in bioinformatics, artificial
Searches related to formal method
Enter an email to receive alerts for formal-method positions