Ingeniero de pruebas ZK

Sobre nosotros

Axiom está utilizando pruebas de conocimiento cero para habilitar nuevos tipos de aplicaciones de software privadas y verificables, comenzando con cripto y fintech. Somos un equipo pequeño pero increíblemente fuerte respaldado por los mejores inversores en criptografía. Buscamos personas excepcionales que estén entusiasmadas por trabajar en problemas desafiantes e impactantes en un entorno acelerado. Nuestra oficina está en Nueva York y trabajar en persona en Nueva York es nuestra principal preferencia, pero también estamos abiertos a candidatos remotos.

Recientemente lanzamos OpenVM, un marco zkVM modular y de alto rendimiento creado para la personalización y la extensibilidad. OpenVM permite a los desarrolladores verificar la ejecución correcta de programas informáticos arbitrarios de una manera flexible y eficaz. Estamos creando productos compatibles con ZK utilizando OpenVM y brindando soporte a equipos que se basan en OpenVM.

El papel

Buscamos un ingeniero de pruebas de ZK que implementará y optimizará código criptográfico de vanguardia para la generación de pruebas de conocimiento cero. Será responsable de construir sistemas para interconectar sistemas informáticos de bajo nivel como RISC-V ISA, marcos de compilación como LLVM y backends de bases de datos y conectarlos con sistemas de vanguardia a prueba de conocimiento cero. La función implicará tanto la optimización de los probadores ZK como la implementación de nuevos circuitos ZK. Su trabajo requerirá tomar decisiones de diseño para permitir el rápido desarrollo de sistemas seguros y eficientes.

Buscamos a alguien con sólidas habilidades de diseño de ingeniería, la capacidad de trabajar en toda la pila y una mentalidad de seguridad. También valoramos la capacidad de tomar decisiones tecnológicas pragmáticas que potencien a nuestro pequeño equipo sin agregar demasiados gastos generales.

quien eres

•
Tiene una sólida formación en matemáticas/criptografía, o sólidas habilidades para la resolución de problemas e interés en pruebas de conocimiento cero.

•
Tiene dominio de Rust, C/C++ o un lenguaje backend de rendimiento similar. Trabajamos principalmente en Rust.

•
Eres extremadamente detallista y tienes una mentalidad de seguridad.

•
Ha trabajado en proyectos de software desafiantes y tiene buen ojo para el rendimiento.

•
Eres un comunicador claro y valoras la colaboración.

•
Tienes una fuerte inclinación hacia la acción.

•
Tienes una ética de trabajo extremadamente fuerte.

Bonificaciones

•
Tiene experiencia con marcos de compilación como LLVM o MLIR.

•
Ha trabajado con aspectos de arquitectura informática de bajo nivel como RISC-V o FGPA programados u otro hardware personalizado.

•
Tiene experiencia con backends de bases de datos, incluida experiencia con planificación de consultas o motores de consultas de bajo nivel.

•
Ha realizado investigaciones en matemáticas, informática teórica o física teórica.

•
Tienes experiencia con detalles de bajo nivel de Ethereum.

Damos la bienvenida a diversos orígenes. Algunos perfiles no tradicionales que pueden ser una buena opción incluyen comercio de alta frecuencia, academia de matemáticas/física/informática e ingeniería de hardware.

¿Por qué unirse a nosotros?

•
Será uno de los primeros empleados con responsabilidad en tomar decisiones técnicas y de producto clave.

•
Trabajará en tecnología innovadora que tiene el potencial de ser una pieza clave de infraestructura para la industria de la criptografía.

•
Recibirás un salario competitivo con equidad.

•
Trabajará y recibirá tutoría de un equipo excepcional.

Nuestro equipo

Nuestros fundadores, Yi Sun y Jonathan Wang, se conocieron mientras estudiaban matemáticas en Harvard y han estado trabajando en ZK desde 2021. Juntos, escribieron algunos de los circuitos ZK de mayor rendimiento para criptografía de curva elíptica y lectura de datos de Ethereum antes de iniciar Axiom.

Antes de Axiom, Yi fue profesor en Estadísticas de UChicago e hizo un doctorado en matemáticas en el MIT. Anteriormente fue asesor de Gauntlet y trabajó en una startup de HFT desde el inicio hasta el comercio rentable. Jonathan publicó investigaciones sobre teoría de números en las principales revistas de matemáticas e hizo un doctorado en matemáticas en UChicago.

El resto de nuestro pequeño pero increíblemente sólido equipo incluye alumnos de Applied Intuition, Coinbase, Color, Neon, Google y Perplexity, así como doctores en matemáticas/informática y ganadores de IMO/IPhO/Codeforces. ¡Esperamos trabajar con usted!

Fuente: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)