Roku
QuEra Computing, Inc.
Engenheiro(a) de Software Científico - Compilação de Shuttle
Resumo
QuEra Computing, Inc. busca um(a) Engenheiro(a) de Software Científico criativo(a) e colaborativo(a) para ajudar a resolver os desafios únicos de software e entregar o melhor desempenho dos computadores quânticos de átomos neutros da QuEra. Você terá a oportunidade de trabalhar com uma equipe vibrante de software científico e uma comunidade de colaboradores da indústria e acadêmicos, e de ajudar nossa crescente equipe de especialistas diversos a abordar desafios fascinantes, desde técnicas de compiladores clássicos até arquitetura de sistemas quânticos. Você construirá 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 novas heurísticas, novas arquiteturas e design de linguagens de programação para otimizar o desempenho de hardware de ponta de átomos neutros 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 ajudar a manter o pipeline do compilador da QuEra, do nível de circuito de programas quânticos até a representação intermediária de nível de Pulso da QuEra, usando a infraestrutura de compilador baseada em Static Single Assignment da QuEra.
- Projetar uma linguagem de domínio específico inovadora para programar o transporte de átomos dentro dos computadores quânticos de átomos neutros da QuEra.
- Implementar e aprimorar métodos de otimização relevantes para fluxos de trabalho de transporte (por exemplo, heurísticas de roteamento/agendamento/planejamento, transformações cientes de restrições e decisões de compilação orientadas por modelo de custo).
- Desenvolver análise estática para as linguagens de circuito quântico e de transporte de átomos.
- 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 design de linguagens de programação e compilação.
- Entusiasmo em construir ferramentas de software para cientistas, especialmente físicos.
- Experiência com semântica de 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 compiladores baseado em representações intermediárias 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.
Qualificações Preferenciais
- Experiência com microarquitetura de computadores/design de hardware.
- Experiência com o uso de LLVM ou MLIR para desenvolvimento de compiladores, ou experiência com desenvolvimento de compiladores existente.
- Experiência ou publicação em otimização de programas voltada para hardware quântico, por exemplo, agendamento, roteamento, etc.
- Correção de erros quânticos.
- Contribuição para bibliotecas open-source existentes.
- Conhecimento básico de computação quântica, por exemplo, algoritmos quânticos comuns, noções básicas de teoria de informação quântica.
A faixa salarial base aproximada para esta posição é de $102,400 - $166,400.
Monitoramos consistentemente os dados do mercado externo e atualizamos as faixas salariais base de acordo. Determinamos as decisões de remuneração base com base em vários fatores, incluindo localização geográfica, conhecimento específico da função, habilidades e/ou experiência.
Além das ofertas de salário base, também fornecemos concessões de ações (equity grants) para todos os novos contratados.
A QuEra está comprometida em cultivar um ambiente de trabalho diversificado e se orgulha de ser um empregador que oferece igualdade de oportunidades. Valorizamos muito a diversidade em nossos funcionários atuais e futuros e não discriminamos (incluindo em nossas práticas de contratação e promoção) com base em raça, religião, cor, origem nacional, gênero, expressão de gênero, orientação sexual, idade, estado civil, status de veterano, status de deficiência ou qualquer outra característica protegida por lei.
#LI-NB1
