, Jenkins or Bamboo in a CI/CD environment Experience with Erlang, Haskell, Scala, or OCaml Experience developing software... for high-assurance, safety critical, or life critical domains Familiarity with generative or formal software verification...
CrowdStrike