Concordium is the first ID/KYC ready blockchain network. Concordium focuses strongly on software quality and uses languages such as haskell, rust and Coq. There are a number of positions available at the offices in either Aarhus, Zurich, London and Marbella. In exceptional cases is off-site work possible. There is a preference for people with a relevant PhD or master's degree. https://www.concordium.com/careers/ In particular, the Concordium Aarhus office has a strong background in functional programming and type theory, and is looking to strengthen this team. There is a tight collaboration with the scientists at the Concordium Blockchain Research Center at Aarhus University. The center is also advertising several PhD and postdoc positions. https://www.iacr.org/jobs/#1717