Applied Scientist

Research Engineer - Formal Methods & Reasoning Systems (AI Safety Focus)Acceler8 Talent is working with an AI research lab to explore new directions in AI alignment and interpretability, with an emphasis on moving beyond purely empirical techniques toward more rigorous, structured approaches. They are interested in incorporating ideas from fields such as programming languages, formal verification, and program analysis to better understand and reason about model behavior.This position is well-suited for individuals who may not have a traditional machine learning background but bring strong expertise in formal systems, abstraction, and rigorous reasoning, and are interested in applying those skills to AI safety challenges.Key ResponsibilitiesInvestigate how concepts from formal verification and program analysis can be applied to understanding the internal behavior of machine learning modelsDevelop experimental tools that integrate structured reasoning techniques with interpretability methodsWork closely with research teams to design new abstractions for analyzing and constraining model behaviorPrototype approaches that move toward verification-inspired safety assurances for AI systemsContribute to shaping emerging research directions within the organizationExample Areas of WorkAdapting compiler-inspired abstractions to represent and analyze internal model computationsCreating structured methodologies for reasoning about activation-level behavior and model circuitsBuilding tooling that combines interpretability techniques with constraints influenced by verification principlesExploring program analysis techniques to identify potentially unsafe reasoning patterns within modelsQualificationsStrong background in areas such as programming languages, compilers, systems research, formal verification, or related fieldsExperience in theorem proving, security research, operating systems, or similar domains is valuableDemonstrated ability to think abstractly and build novel research systems or tooling from the ground upPhD is preferred

Created: 2026-05-09