Explore jobs tagged automata-theory across research labs, developer teams, and verification groups — a curated list of positions that leverage automata, finite-state machines, formal languages, model checking, and algorithmic analysis. Use the filtering UI to narrow results by seniority, remote/location, tech stack (for example, model checking, temporal logic, SAT/SMT integration), and apply targeted long-tail searches like "automata-theory research engineer" or "formal verification automata-theory specialist" to find roles requiring expertise in computational models and state-machine design. This list surfaces open jobs in academia, startups, and enterprise engineering teams that rely on automata theory for compiler construction, protocol verification, language design, and scalable verification pipelines; review job descriptions, compare required skills, and apply or set alerts to get updates.
No Automata Theory jobs posted this month
Check back soon or explore all available positions
