Good news is that a year in consulting isn't long enough to look like a detriment. Bad news is that the job market is crap right now.
> 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".
I don't understand why Python gets shit for being a slow language when it's slow but no credit for being fast when it's fast just because "it's not really Python".
If I write Python and my code is fast, to me that sounds like Python is fast, I couldn't care less whether it's because the implementation is in another language or for some other reason.
Your ethics are leading you to believe this. For other people it doesn’t make sense at all that a computer program should have rights. It makes even less sense to people who know what a computer program is.
I genuinely think that this whole argument is a waste of time.
What matters is whether the outputs are useful and the outputs don't change based on whether you call it "thought", "AGI" or "probabilistic word selection".
Seems like a very bad reason to switch. Data engineering is different (and much worse than SWE in my opinion), and it's not like you're certain that you can avoid LC interviews if you try to switch.
One of the things that has changed is typing - you can and should type check your Python code with tools like mypy or pyright. Even better if you use a strict mode for mypy which forces you to type hint everything.
Also check out dataclasses, Pydantic (most of my code these days is gluing together dataclasses and Pydantic models), FastAPI, PyTorch if you're interested in ML.
> 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".