I already have a project in Lean where I'm developing some complex analysis proofs, but I doubt it'll land me a job (the few job that do seem to exist in that area mostly require a PhD).