[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Swiss Federal Institute of Technology Zurich (ETHZ), Switzerland
Automatic Control Lab
has vacant positions at the postdoctoral (2) and doctoral (2) level within a
new group dedicated to
"Formal methods in computational systems and synthetic biology"
Topics of interest:
- Robustness analysis; bounding reachables for uncertain nonlinear systems
using "hybridization".
- Rule-based models (Kappa) and their extension to include spatial effects.
- Stochastic modeling and hybrid stochastic simulation algorithms.
- Applied modeling; construction and parameter estimation for hybrid models
of cellular signal transduction systems.
- Compositional theory of biomolecular circuits; accounting for
retroactivity.
For more details please see http://lanos.epfl.ch/positions/
Questions can be addressed to Heinz Koeppl, heinz.koe...@epfl.ch
