| how interesting/stimulating is the work? Subjective. what is a typical salary for a formal verification engineer? It will depend on the application field. At a minimum I could see three potential fields: provable security (OS level eg. SEL4, application level, distributed system level TLA+, etc.), analysis (reversing/verification of compiled artifacts), and specification (industrial control and safety systems). how do you value this field? I don't see it a specific field at all. More like a group of approaches. Clearly they are most valuable when there is an end-user / application domain requirement for extreme clarity. This is usually associated with high cost development and assets such as aerospace, industrial, military, nuclear, space. Is it going to grow in the coming years? Can't crystal ball but I believe there is untapped potential for formal specification and resulting verification in the industrial space, particularly as reshoring of automation-heavy production accelerates. Is there demand for these roles? If you'd enjoy the industrial stuff, shoot me an email and I will introduce you to a founder I've been advising in the space. |