About this role
Develop novel methods in formal verification, AI safety, and model interpretability; design and run rigorous experiments, publish research, and collaborate with engineering and infrastructure teams to prototype and productionize research into Octave-X products.
Skills for this role
Formal verificationAI alignmentTrustworthy AIModel interpretabilityExperimental designResearch publicationMachine learningPythonPyTorchJAXProof-based reasoningType theoryCategory theoryTheorem provingProgram synthesisHomotopy Type TheoryAI safetyRed-teamingAdversarial robustnessConstitutional AIProof assistantsLeanCoqAgdaIsabelleProductionization of researchML engineeringInfrastructure collaborationMentoringScientific communication