Formal Methods Engineer in Zurich - Digital Asset