I am looking for an entry-level cybersecurity job. I have a background in SWE and formal verification for 10 years.

My cybersecurity portfolio at https://kazuf3.github.io/portfolio/posts/cyber-security-portfolio-index/