Formal Methods Engineer in Zurich