Reino Unido
Proximie
QuEra Computing, Inc.
Ingeniero de Software Científico - Compilador
Reino Unido
Harwell, England, Reino Unido
PythonC++Rust
Traducción automática. Consulta el original.
Resumen
QuEra Computing, Inc. busca un Ingeniero de Software Científico creativo y colaborativo para ayudar a resolver los desafíos de software únicos del desarrollo de herramientas de simulación y compiladores de vanguardia para las computadoras cuánticas de átomos neutros de QuEra. Tendrás la oportunidad de trabajar con un vibrante equipo de software científico y una comunidad de colaboradores industriales y académicos, y de ayudar a nuestro creciente equipo de expertos diversos a abordar fascinantes desafíos, que van desde técnicas de compiladores clásicos hasta métodos modernos para la simulación cuántica. Estarás construyendo el pipeline del compilador de QuEra junto con físicos experimentales y computacionales, desde instrucciones de hardware de bajo nivel hasta lenguajes de programación de alto nivel utilizando nuestra cadena de herramientas interna. Esto implica el desarrollo de nueva infraestructura de compilador y el diseño e implementación de nuevos lenguajes de programación. Estarás codesignando compiladores con hardware de átomos neutros de vanguardia y tecnología de corrección de errores cuánticos. Esta nueva dirección implica múltiples desafíos nuevos tanto en ingeniería como en ciencia.
Responsabilidades
- Desarrollo y mantenimiento de la infraestructura del compilador basada en representaciones intermedias de asignación única estática (Static Single Assignment) de QuEra y componentes del compilador en varios niveles de abstracción utilizados por nuestros ingenieros y científicos de hardware.
- Diseño de nuevos lenguajes de dominio específico (DSL) adaptados a nuestro hardware, así como del SDK de Bloqade junto con el equipo.
- Integración de herramientas de simulación existentes con el pipeline del compilador y el servicio en la nube.
- Comunicación y colaboración con los científicos de QuEra y los clientes externos para cumplir con los requisitos de sus casos de uso.
Cualificaciones
- Doctorado (Ph.D.) en Ciencias de la Computación con enfoque en computación/arquitectura/lenguaje de programación/compilador cuántico, o experiencia profesional equivalente.
- Entusiasmo por la creación de herramientas de software para científicos, especialmente físicos.
- Experiencia con semántica de Python, anotaciones de tipo de Python, intérprete CPython.
- Experiencia con al menos uno de los lenguajes compilados y experiencia con su sistema de tipos, por ejemplo, C++, Julia, Rust, Haskell, OCamel, etc.
- Experiencia con el desarrollo de compiladores basados en representaciones intermedias de asignación única estática (Static Single Assignment).
- Conocimiento del ciclo de vida completo del desarrollo de software, incluyendo control de versiones, revisión de código, pruebas, CI/CD, registro (logging), perfilado (profiling), depuración (debugging) y documentación.
- Conocimiento de los fundamentos de la computación cuántica, por ejemplo, algoritmos cuánticos comunes, fundamentos de la teoría de la información cuántica.
Cualificaciones Preferidas
- Experiencia en el uso de LLVM o MLIR para el desarrollo de compiladores, o experiencia con un desarrollo de compilador existente.
- Diseño de lenguajes de programación, especialmente teoría de lenguajes de programación.
- Optimización de programas cuánticos, por ejemplo, simplificación de circuitos cuánticos, planificación (scheduling), enrutamiento (routing), etc.
- Corrección de errores cuánticos.
- Contribución a bibliotecas de código abierto existentes.
- Experiencia con herramientas de simulación de circuitos existentes, por ejemplo, cirq, qiskit, CUDA Quantum, etc.
El rango salarial base aproximado para este puesto es $102,400 - $166,400.
Estamos comprometidos con la igualdad, la diversidad y la inclusión en todos nuestros procesos de reclutamiento y selección.
Todos los solicitantes son considerados en función de sus habilidades, experiencia, cualificaciones y adecuación al puesto. No toleramos la discriminación por ningún motivo, incluyendo edad, discapacidad, reasignación de género, matrimonio o pareja de hecho, embarazo o maternidad, raza, religión o creencia, sexo u orientación sexual.
Estamos comprometidos a realizar ajustes razonables cuando sea necesario para garantizar que los solicitantes y empleados con discapacidad no se vean desfavorecidos durante el proceso de contratación.
#LI-NB1
Más oportunidades con un solo perfil
¿Quieres optar a más puestos sin repetir todo el proceso? Crea tu perfil para que te encuentren las empresas que usan Nort.
Crear mi perfil