MANTECH
QuEra Computing, Inc.
Engenheiro(a) de Software Científico - Compilador
Resumo
QuEra Computing, Inc. busca um(a) Engenheiro(a) de Software Científico criativo(a) e colaborativo(a) 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 átomos neutros 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, que vão desde técnicas de compiladores clássicos até métodos modernos para simulação quântica. 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 nova infraestrutura de compilador e novo design e implementação de linguagem de programação. Você co-projetará compiladores com hardware de átomos neutros 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
- Desenvolvimento e manutenção da 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 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 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 linguagem de programação, especialmente teoria de linguagem 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 é de US$ 102,400 a US$ 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 nossas 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
