[TYPES/announce] PhD Position in Formal Methods for Biology at DTU Technical University of Denmark [DEADLINE 31/10/2019]

[Andrea Vandin]

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: anvan at dtu.dk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191010/4591d35e/attachment-0001.html>