We are looking for a PhD candidate to join the TACsy (Training Alliance for Computational Systems Chemistry) Marie-Skłodowska-Curie Joint Doctoral Network. This network consists of fifteen (15) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation.