[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The section for Formal Methods <http://www.compute.dtu.dk/english/research/formalmethods> of DTU Technical University of Denmark offers a PhD position funded by the Danish project ‘REDUCTO: A novel approach for the reduction of Boolean networks’. The student will be supervised by PI of the project, Associate Professor Andrea Vandin, and by the head of section Alberto Lluch Lafuente in collaboration with - Luca Cardelli (University of Oxford, UK), - Claudine Chaouiya (I2M, Aix Marseille Univ, CNRS, Centrale Marseille, Marseille, France & Instituto Gulbenkian de Ciência, Portugal), and - Lars Keld Nielsen (Novo Nordisk Foundation Center for Biosustainability, Denmark). *Apply online* https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=a917a195-8678-4990-b7fa-471f34847587 *Project Description* Boolean networks (BN) are a graph-based well-established method to model biological systems. In order to accurately model systems, we often face models too complex to be interpreted or analyzed. Several reduction techniques exist to mitigate this problem. Our crucial hypothesis is that novel approaches to the reduction of BNs are needed, and that those can be developed by using a theoretical computer science approach. The project aims at developing novel mathematically-grounded techniques and tools to reduce and simplify complex BNs. The starting point will be recent work of the PI, presented e.g. in: - Maximal aggregation of polynomial dynamical systems, L Cardelli, M Tribastone, M Tschaikowski, A Vandin, Proceedings of the National Academy of Sciences 114 (38), 10029-10034, https://doi.org/10.1073/pnas.1702697114 - Symbolic computation of differential equivalences, L Cardelli, M Tribastone, M Tschaikowski, A Vandin, Proceedings of POPL 2016, https://doi.org/10.1145/2837614.2837649 Tool support will be based on the tool ERODE (http://bit.ly/ERODE <https://bit.ly/ERODE>), maintained by the PI. -- Andrea Vandin, PhD Associate Professor DTU - Technical University of Denmark, Department of Applied Mathematics and Computer Science, Section on Formal Methods http://www.compute.dtu.dk/english/research/formalmethods URL: http://people.compute.dtu.dk/anvan/ e-mail: an...@dtu.dk