États-Unis
Amplify Energy Services LLC
Galois, Inc.
Boston, Massachusetts, United States
De la création d'outils d'ingénierie numérique rendant l'exploration spatiale plus sûre à la vérification de bibliothèques cryptographiques protégeant certaines des données les plus précieuses au monde, Galois développe des technologies garantissant la fiabilité de systèmes où l'échec est inacceptable.
Nous sommes une communauté de chercheurs, d'ingénieurs et de professionnels des opérations dédiés à la création de systèmes critiques fiables dans chaque domaine fonctionnel de l'organisation. Notre structure organisationnelle unique nous permet de nous adapter aux besoins des projets innovants que nous livrons.
Nous pensons que les systèmes fiables reposent sur des fondements mathématiques formels. Nos chercheurs appliquent des techniques d'analyse formelle à la conception et à la vérification de systèmes logiciels critiques, ce qui nous permet de modéliser, d'analyser et de prouver mathématiquement qu'un système se comporte exactement comme prévu en toutes circonstances. Avec des clients tels que la NASA, la DARPA, AWS et le DoW, nous tirons parti de nos recherches de pointe pour fournir des solutions et des outils de haute assurance qui améliorent la sécurité, la fiabilité et l'efficacité opérationnelle dans des secteurs tels que l'aérospatiale et la défense, la santé, les semi-conducteurs et la fintech.
Les ingénieurs de recherche chez Galois conçoivent et développent des technologies avancées pour des systèmes, réseaux et applications critiques en matière de sécurité et de sûreté. Les ingénieurs travaillent au sein de petites équipes et doivent interagir avec succès avec les clients, les partenaires et les autres employés dans un environnement hautement coopératif, collaboratif et intellectuellement stimulant.
Les personnes sont le fondement du succès de Galois. En tant qu'entreprise détenue par ses employés, nous nous soucions non seulement des technologies que nous développons, mais aussi de la manière dont nous les créons. Galois fonctionne selon un modèle organisationnel hautement collaboratif qui encourage le leadership et le travail d'équipe tout en respectant les individus.
Pour en savoir plus sur notre culture et notre structure organisationnelle, visitez Life at Galois.
Galois recrute un ingénieur logiciel/chercheur pour rejoindre notre équipe ! Ce rôle se concentrera principalement sur l'avancement de l'état de l'art dans la recherche et la mise en œuvre de la théorie des langages de programmation. Les chercheurs occupant ce poste utiliseront leur expertise en méthodes formelles et en langages de programmation pour mener une vérification formelle rigoureuse des logiciels et des systèmes, en veillant à ce qu'ils répondent aux normes de sécurité les plus élevées.
En tant qu'ingénieur de recherche, vous aurez les responsabilités suivantes :
La citoyenneté américaine est requise, car seuls les citoyens américains sont éligibles à une habilitation de sécurité.
La préférence sera donnée aux candidats possédant une ou plusieurs des expertises techniques suivantes :
Nous bénéficions d'un environnement de travail hybride, et les candidats peuvent être basés dans la grande région de Boston, MA, ou dans l'un de nos bureaux à Arlington, VA, Dayton, OH, Minneapolis, MN ou Portland, OR.
La rémunération est basée sur la valeur de vos résultats, et non sur votre valeur en tant qu'employé ou personne. Le processus de rémunération, les salaires individuels et les critères de changement de salaire sont transparents pour toute l'entreprise.
Pour plus d'informations sur notre approche prospective et transparente de la rémunération, visitez Compensation.
Galois est un employeur offrant l'égalité des chances et ne pratique aucune discrimination dans les opportunités ou les pratiques d'emploi fondée sur la race, l'ethnicité, l'origine nationale, l'ascendance, la couleur, le sexe, l'identité ou l'expression de genre, l'orientation sexuelle, le statut marital ou parental, la grossesse ou l'accouchement, le handicap, l'âge, la religion, les croyances, les informations génétiques, le statut d'ancien combattant ou toute autre caractéristique protégée par la loi fédérale, étatique ou locale applicable. Nous encourageons et respectons les points de vue et les expériences différents comme étant essentiels au processus d'innovation. Nous nous efforçons d'acquérir, de développer et de maintenir un lieu de travail diversifié et inclusif qui applique les principes et les normes de manière équitable tout en répondant aux besoins et aux aménagements de chaque employé.
Conformément à l'Americans with Disabilities Act (ADA) et aux lois fédérales et étatiques, la politique de Galois, Inc. est de fournir des aménagements raisonnables lorsqu'ils sont demandés par un candidat ou un employé qualifié souffrant d'un handicap, à moins qu'un tel aménagement ne cause une contrainte excessive. Si vous avez besoin d'un aménagement raisonnable pour remplir votre demande d'emploi, passer un entretien, effectuer des tests préalables à l'embauche ou participer au processus de sélection des employés, veuillez contacter [email protected].
Nous offrons un ensemble complet d'avantages sociaux pour assurer votre bien-être et celui de votre famille, notamment :
Pour plus d'informations sur nos avantages sociaux, visitez Careers at Galois.
Plateforme de recrutement inversé pour développeurs
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil