Acceler8 Talent seeks a Research Engineer to bring formal methods and rigorous reasoning to frontier AI alignment research. You will apply ideas from formal verification, program analysis, and compilers to understand and constrain model behavior, building practical research systems from scratch.
PhD strongly preferred, but deep technical creativity matters most. The environment is small, experimental, and highly technical, offering room to shape a new direction in AI safety and interpretability.
#J-18808-Ljbffr