Reino Unido
Proximie
QuEra Computing, Inc.
Engenheiro de Software Científico - Compilador
Reino Unido
Harwell, England, Reino Unido
PythonC++Rust
Tradução automática. Consulte o original.
Resumo
QuEra Computing, Inc. busca um Engenheiro de Software Científico criativo e colaborativo para ajudar a resolver os desafios de software únicos no desenvolvimento de ferramentas de simulação e compiladores de ponta para computadores quânticos de átomo neutro da QuEra. Você terá a oportunidade de trabalhar com uma equipe vibrante de software científico e uma comunidade de colaboradores industriais e acadêmicos, e de ajudar nossa crescente equipe de especialistas diversos a enfrentar desafios fascinantes, desde técnicas de compiladores clássicos até métodos modernos para simulação quântica. Você estará construindo o pipeline do compilador da QuEra junto com físicos experimentais e computacionais, desde instruções de hardware de baixo nível até linguagens de programação de alto nível, usando nossa ferramenta interna. Isso envolve o desenvolvimento de nova infraestrutura de compilador e novo design e implementação de linguagens de programação. Você estará co-projetando compiladores com hardware de átomo neutro de ponta e tecnologia de correção de erros quânticos. Essa nova direção envolve múltiplos novos desafios em engenharia e ciência.
Responsabilidades
- Desenvolver e manter a infraestrutura de compilador baseada em representações intermediárias de atribuição única estática (Static Single Assignment) da QuEra e componentes de compilador em vários níveis de abstração usados por nossos engenheiros de hardware e cientistas.
- Projetar novas linguagens de domínio específico (DSLs) para nosso hardware, bem como o SDK de Bloqade, em conjunto com a equipe.
- Integrar ferramentas de simulação existentes com o pipeline do compilador e o serviço de nuvem.
- Comunicar e colaborar com cientistas da QuEra e clientes externos para atender aos requisitos de seus casos de uso.
Qualificações
- Doutorado em Ciência da Computação com foco em computação/arquitetura/linguagem de programação/compilador quântico, ou experiência profissional equivalente.
- Entusiasmo em construir ferramentas de software para cientistas, especialmente físicos.
- Experiência com semântica Python, type hints de Python, interpretador CPython.
- Experiência com pelo menos uma das linguagens compiladas e experiência com seu sistema de tipos, por exemplo, C++, Julia, Rust, Haskell, OCamel, etc.
- Experiência com desenvolvimento de compilador baseado em representações intermediárias de atribuição única estática (Static Single Assignment).
- Conhecimento do ciclo de vida completo do desenvolvimento de software, incluindo controle de versão, revisão de código, testes, CI/CD, logging, profiling, depuração e documentação.
- Conhecimento básico de computação quântica, por exemplo, algoritmos quânticos comuns, noções básicas de teoria da informação quântica.
Qualificações Preferenciais
- Experiência com o uso de LLVM ou MLIR para desenvolvimento de compiladores, ou experiência com um desenvolvimento de compilador existente.
- Design de linguagens de programação, especialmente teoria de linguagens de programação.
- Otimização de programas quânticos, por exemplo, simplificação de circuitos quânticos, escalonamento, roteamento, etc.
- Correção de erros quânticos.
- Contribuição para bibliotecas open-source existentes.
- Experiência com ferramentas de simulação de circuitos existentes, por exemplo, cirq, qiskit, CUDA Quantum, etc.
A faixa salarial base aproximada para esta posição é US$ 102,400 - US$ 166,400.
Estamos comprometidos com igualdade, diversidade e inclusão em todos os nossos processos de recrutamento e seleção.
Todos os candidatos são considerados com base em suas habilidades, experiência, qualificações e adequação à função. Não toleramos discriminação por qualquer motivo, incluindo idade, deficiência, readequação de gênero, casamento ou união civil, gravidez ou maternidade, raça, religião ou crença, sexo ou orientação sexual.
Estamos comprometidos em fazer os ajustes razoáveis necessários para garantir que candidatos e funcionários com deficiência não sejam desfavorecidos durante o processo de recrutamento.
#LI-NB1
Mais oportunidades com um só perfil
Quer aparecer para várias vagas sem repetir todo o processo? Crie seu perfil e seja encontrado pelas empresas que usam a Nort.
Criar meu perfil