My technical itch is not being scratched in my current role and I want to move to a career that's more research-/software-based.
1) Is anyone aware of any firms that do formal-methods-like activities and is hiring out of the UK?
2) Has anyone got experience making a shift from a non-technical to a technical role? I'm concerned that my lack of relevant technical experience/past roles/internships may mean I don't stand a chance.
> Is anyone aware of any firms that do formal-methods-like activities
Don't limit yourself to what you studied in your PhD. A big chunk of the commercial research position will be focused on AI.
> Has anyone got experience making a shift from a non-technical to a technical role?
Don't think of it as a shift from non-technical to technical role. Think of it as "I finished my CS PhD about a year ago and now I'm looking for a research/software job".