Quantum Fault-Tolerant Architecture Specialist

Acerca de Zapata Quantum

Zapata Quantum está moldeando el futuro de la computación cuántica: estableciendo estándares para lo que es viable, valioso y vale la pena construir. La empresa impulsa aplicaciones cuánticas en criptografía, farmacéuticos, finanzas, descubrimiento de materiales, defensa y más allá, traduciendo investigación de vanguardia en impacto del mundo real.

Zapata es la única organización que ha contribuido en todas las áreas técnicas del programa Quantum Benchmarking de DARPA, dándole una visión única y comprehensiva de qué se necesita para hacer que la computación cuántica funcione en la práctica. Ahora reestructurada y enfocada, Zapata Quantum se destaca como la única empresa de software cuántico puro listada públicamente, completamente dedicada a desbloquear el potencial comercial de quantum.

Estamos reconstruyendo en un momento decisivo para la industria, reuniendo un equipo que ayudará a definir cómo quantum entrega valor en el mundo real, con la oportunidad de ownership significativo mientras moldeamos el camino comercial hacia adelante.

Acerca del rol

Buscamos un Quantum Fault-Tolerant Architecture Specialist para liderar el desarrollo del stack de software que mapea circuitos cuánticos lógicos a implementaciones tolerantes a fallos ejecutables. Poseerás la hoja de ruta de arquitectura, metodología de compilación y modelos de estimación de recursos físicos en diferentes códigos y paradigmas de arquitectura.

Este rol de alto ownership se encuentra en el límite de corrección de errores cuánticos, arquitectura y software. Definirás semántica tolerante a fallos, implementaciones de referencia, presupuestos de error y criterios de validación; guiarás a un ingeniero de compilador construyendo infraestructura de producción; y asociándote con científicos de algoritmos cuánticos en cargas de trabajo clave. Tendrás acceso a advisors incluyendo Austin Fowler y Alexandru Paler, con oportunidades para publicar y contribuir a herramientas de código abierto. Esta posición se clasifica como exempt bajo leyes aplicables de salario y hora.

Qué harás

• Posee la hoja de ruta para traducir circuitos lógicos en operaciones tolerantes a fallos, layouts, schedules e implementaciones físicas costadas.
• Desarrolla code-aware lowering y modelos de recursos para surface, qLDPC, color y códigos emergentes bajo supuestos explícitos de hardware, conectividad y ruido.
• Lidera componentes de software y APIs para geometría de código, operaciones lógicas, extracción de síndrome, decodificación, routing, scheduling y magic-state factories.
• Construye estimadores reproducibles para qubits físicos, runtime, space-time volume, throughput, probabilidad de fallo e incertidumbre.
• Benchmark decoders, simulaciones de QEC, tasas de error lógico y tradeoffs de arquitectura.
• Define constructos IR tolerantes a fallos, backend passes, tests y especificaciones con el ingeniero de compilador del equipo.
• Co-diseña estimaciones de recursos con científicos de algoritmos para cargas de trabajo criptográficas, química y simulación.
• Rastrea códigos emergentes, gates, decoders y arquitecturas; entrega recomendaciones a través de software, publicaciones, reportes técnicos y deliverables de programa.

Cualificaciones

• PhD o equivalente en campo relacionado, con investigación enfocada en corrección de errores cuánticos o computación cuántica tolerante a fallos.
• Registro establecido en diseño de códigos, decodificación, operaciones lógicas tolerantes a fallos, arquitectura o compilación.
• Comando profundo de códigos de stabilizer y subsystem, extracción de síndrome, errores lógicos y tradeoffs de familia de código.
• Capacidad de derivar cuentas de qubits físicos, runtime y space-time volume de una carga de trabajo lógica y target de fallo.
• Python práctico y experiencia construyendo software de calidad research QEC, compilador, simulación o estimación de recursos.
• Experiencia evaluando decoders vía simulación Monte Carlo, análisis de error lógico y extrapolación.
• Comprensión de sistemas de operaciones lógicas, feed-forward, routing, scheduling, suministro de magic-state, decodificación clásica y restricciones de hardware.
• Capacidad de establecer una hoja de ruta, exponer suposiciones, colaborar entre disciplinas y comunicar claramente.

Experiencia Preferida

• Contribuciones substantivas a herramientas de QEC o compilación tolerante a fallos de código abierto como tqec, Stim, Qualtran, Bench-Q o sistemas comparables.
• Expertise más allá de una única familia de códigos, especialmente qLDPC o color codes, code switching o gauge fixing, gates transversales, lattice surgery o arquitecturas modulares tolerantes a fallos.
• Experiencia con QEC hardware-aware, decodificación acelerada o en tiempo real, y modelos de error físico para plataformas superconductoras, neutral-atom, trapped-ion o fotónicas.
• Familiaridad con IRs de compilador y técnicas de verificación (por ejemplo QIR/MLIR, equivalence checking, property-based testing, SMT, Lean o Coq).
• Experiencia con programas de research financiados por gobierno.