Estados Unidos
Amplify Energy Services LLC
Galois, Inc.
Boston, Massachusetts, United States
Desde a criação de ferramentas de engenharia digital que tornam a exploração espacial mais segura até a verificação de bibliotecas criptográficas que protegem alguns dos dados mais valiosos do mundo, a Galois desenvolve tecnologia para garantir a confiabilidade de sistemas onde falhas são inaceitáveis.
Somos uma comunidade de pesquisadores, engenheiros e profissionais de operações dedicados a criar confiabilidade em sistemas críticos em todas as áreas funcionais da organização. Nossa estrutura organizacional única nos permite adaptar às necessidades dos projetos inovadores que entregamos.
Acreditamos que sistemas confiáveis são construídos sobre uma base matemática formal. Nossos pesquisadores aplicam técnicas de análise formal ao design e verificação de sistemas de software críticos, permitindo-nos modelar, analisar e provar matematicamente que um sistema se comporta exatamente como pretendido sob todas as circunstâncias. Com clientes incluindo NASA, DARPA, AWS e o DoW, aproveitamos nossa pesquisa de ponta para entregar soluções de alta garantia e ferramentas que aprimoram a segurança, confiabilidade e eficiência operacional em setores como aeroespacial e defesa, saúde, semicondutores e fintech.
Engenheiros de Pesquisa na Galois projetam e desenvolvem tecnologias avançadas para sistemas, redes e aplicações críticas de segurança e proteção. Os engenheiros trabalham em ambientes de pequenas equipes e devem interagir com sucesso com clientes, parceiros e outros funcionários em um ambiente altamente cooperativo, colaborativo e intelectualmente desafiador.
As pessoas são a base do sucesso da Galois. Como uma empresa de propriedade dos funcionários, nos preocupamos não apenas com as tecnologias que desenvolvemos, mas também com o caminho que percorremos para criá-las. A Galois opera sob um modelo organizacional altamente colaborativo que incentiva a liderança e o trabalho em equipe e respeita os indivíduos.
Para saber mais sobre nossa cultura e estrutura organizacional, visite Life at Galois.
A Galois está contratando um Engenheiro de Software/Pesquisador para se juntar à nossa equipe! Esta função focará principalmente em avançar o estado da arte em pesquisa e implementação de teoria de linguagens de programação. Pesquisadores nesta função usarão sua experiência em Métodos Formais e Linguagens de Programação para conduzir verificação formal rigorosa de software e sistemas, garantindo que atendam aos mais altos padrões de segurança.
Como Engenheiro de Pesquisa, você terá as seguintes responsabilidades:
É necessária a cidadania dos EUA, pois apenas cidadãos dos EUA são elegíveis para uma autorização de segurança.
Será dada preferência a candidatos com uma ou mais das seguintes experiências técnicas:
Desfrutamos de um ambiente de trabalho híbrido, e os candidatos podem estar baseados na grande área de Boston, MA, ou em qualquer um de nossos escritórios em Arlington, VA, Dayton, OH, Minneapolis, MN ou Portland, OR.
A compensação é baseada no valor dos seus resultados, não no seu valor como funcionário ou pessoa. O processo de compensação, os salários individuais e os critérios para mudanças salariais são transparentes para toda a empresa.
Para mais informações sobre nossa abordagem transparente e voltada para o futuro em relação ao pagamento, visite Compensation.
A Galois é um Empregador de Igualdade de Oportunidades e não discrimina em oportunidades ou práticas de emprego com base em raça, etnia, origem nacional, ancestralidade, cor, sexo, identidade ou expressão de gênero, orientação sexual, estado civil ou parental, gravidez ou parto, deficiência, idade, religião, credo, informações genéticas, status de veterano ou qualquer outra característica protegida pela lei federal, estadual ou local aplicável. Incentivamos e respeitamos diferentes pontos de vista e experiências como essenciais para o processo de inovação. Nós nos esforçamos para adquirir, desenvolver e manter um local de trabalho diversificado e inclusivo que aplique princípios e padrões de forma equitativa, ao mesmo tempo em que apoia as necessidades e acomodações do funcionário individual.
Em conformidade com a Lei dos Americanos com Deficiências (ADA) e as leis federais e estaduais, é política da Galois, Inc. fornecer acomodação razoável quando solicitada por um candidato ou funcionário qualificado com deficiência, a menos que tal acomodação cause dificuldades indevidas. Se você precisar de acomodação razoável para preencher a candidatura de emprego, participar de entrevistas, concluir qualquer teste pré-emprego ou participar de outra forma do processo de seleção de funcionários, entre em contato com [email protected].
Oferecemos um pacote de benefícios robusto para cuidar do seu bem-estar e de sua família, incluindo:
Para mais informações sobre nossos benefícios, visite Careers at Galois.
Plataforma de recrutamento reverso para programadores
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