I’d like to move my career towards formal methods and software verification. Almost every job posting understandably requires either an advanced degree or extensive prior work. I’m curious to hear from anyone who’s landed a job in this area with minimal previous experience in this specialization.
Do you recommend going back to school full time? Getting a job in an adjacent role at a company that’s willing to train? Or perhaps going to night school while at a such a company? Any tips on companies that are particularly friendly to training or self-learning and recruiting internally for such roles? Perhaps the “learn and blog about it” approach would work well?
I suppose this isn’t too different from other specialties though I would love to hear from anyone with experience in this particular area - especially about any companies friendly to formal methods newbies.
Thanks & happy Friday, everyone.