[leafmeal]

I think this area is super interesting!

I am a regular software engineer with a background in math and CS. The most relevant experience I have is some tinkering with Haskell.

Do you have any suggestions for how a full time employee can engage in this world and possibly start doing research?

[Taikonerd]

I'm not the parent commenter, but as a way to dip your toes in, I've heard Dafny[1] is probably the easiest language / proof system to get started with.

[1] https://rise4fun.com/dafny