[BBC] PhD Position: Engineering Executable Models of Biological Networks