Vereinigte Staaten
Amplify Energy Services LLC
Galois, Inc.
Boston, Massachusetts, United States
Von der Entwicklung digitaler Engineering-Tools, die die Weltraumforschung sicherer machen, bis hin zur Verifizierung kryptografischer Bibliotheken, die einige der wertvollsten Daten der Welt schützen – Galois entwickelt Technologien, um die Vertrauenswürdigkeit von Systemen zu gewährleisten, bei denen ein Ausfall inakzeptabel ist.
Wir sind eine Gemeinschaft aus Forschern, Ingenieuren und Mitarbeitern im operativen Bereich, die sich der Schaffung von Vertrauenswürdigkeit in kritischen Systemen in jedem Funktionsbereich des Unternehmens widmet. Unsere einzigartige Organisationsstruktur ermöglicht es uns, uns an die Bedürfnisse der innovativen Projekte anzupassen, die wir liefern.
Wir glauben, dass vertrauenswürdige Systeme auf einem formalen mathematischen Fundament aufbauen. Unsere Forscher wenden formale Analysemethoden auf das Design und die Verifizierung kritischer Softwaresysteme an. Dies ermöglicht es uns, das Verhalten eines Systems unter allen Umständen zu modellieren, zu analysieren und mathematisch zu beweisen, dass es exakt wie beabsichtigt funktioniert. Mit Kunden wie der NASA, DARPA, AWS und dem DoW nutzen wir unsere Spitzenforschung, um hochsichere Lösungen und Tools bereitzustellen, die Sicherheit, Zuverlässigkeit und betriebliche Effizienz in Sektoren wie Luft- und Raumfahrt & Verteidigung, Gesundheitswesen, Halbleiter und Fintech verbessern.
Research Engineers bei Galois entwerfen und entwickeln fortschrittliche Technologien für sicherheitskritische Systeme, Netzwerke und Anwendungen. Ingenieure arbeiten in kleinen Teams und müssen erfolgreich mit Kunden, Partnern und anderen Mitarbeitern in einem äußerst kooperativen, kollaborativen und intellektuell anspruchsvollen Umfeld interagieren.
Menschen sind das Fundament des Erfolgs von Galois. Als mitarbeitergeführtes Unternehmen liegt uns nicht nur die Technologie am Herzen, die wir entwickeln, sondern auch der Weg, den wir gehen, um sie zu erschaffen. Galois arbeitet nach einem hochgradig kollaborativen Organisationsmodell, das Führung und Teamarbeit fördert und den Einzelnen respektiert.
Mehr über unsere Kultur und Organisationsstruktur erfahren Sie unter Life at Galois.
Galois stellt einen Software Engineer/Researcher ein, um unser Team zu verstärken! Diese Rolle konzentriert sich primär darauf, den Stand der Technik in der Forschung und Implementierung von Programmiersprachentheorie voranzutreiben. Forscher in dieser Rolle nutzen ihre Expertise in Formal Methods und Programmiersprachen, um eine rigorose formale Verifizierung von Software und Systemen durchzuführen und sicherzustellen, dass sie den höchsten Sicherheitsstandards entsprechen.
Als Research Engineer haben Sie folgende Verantwortlichkeiten:
Die US-Staatsbürgerschaft ist erforderlich, da nur US-Staatsbürger für eine Sicherheitsfreigabe in Frage kommen.
Bevorzugt werden Kandidaten mit einer oder mehreren der folgenden technischen Expertisen:
Wir genießen ein hybrides Arbeitsumfeld, und Kandidaten können im Großraum Boston, MA, oder an einem unserer Standorte in Arlington, VA, Dayton, OH, Minneapolis, MN oder Portland, OR, ansässig sein.
Die Vergütung basiert auf dem Wert Ihrer Ergebnisse, nicht auf Ihrem Wert als Mitarbeiter oder Person. Der Vergütungsprozess, die individuellen Gehälter und die Kriterien für Gehaltsänderungen sind für das gesamte Unternehmen transparent.
Weitere Informationen zu unserem zukunftsorientierten und transparenten Ansatz bei der Bezahlung finden Sie unter Compensation.
Galois ist ein Arbeitgeber, der Chancengleichheit fördert und bei Beschäftigungsmöglichkeiten oder -praktiken nicht aufgrund von Rasse, ethnischer Herkunft, nationaler Herkunft, Abstammung, Hautfarbe, Geschlecht, Geschlechtsidentität oder -ausdruck, sexueller Orientierung, Familienstand oder Elternstatus, Schwangerschaft oder Entbindung, Behinderung, Alter, Religion, Weltanschauung, genetischen Informationen, Veteranenstatus oder anderen durch geltendes Bundes-, Landes- oder lokales Recht geschützten Merkmalen diskriminiert. Wir fördern und respektieren unterschiedliche Sichtweisen und Erfahrungen als wesentlich für den Innovationsprozess. Wir bemühen uns, einen vielfältigen und integrativen Arbeitsplatz zu erwerben, auszubauen und zu erhalten, der Prinzipien und Standards gerecht anwendet und gleichzeitig die Bedürfnisse und Anpassungen des einzelnen Mitarbeiters unterstützt.
Im Einklang mit dem Americans with Disabilities Act (ADA) sowie Bundes- und Landesgesetzen ist es die Politik von Galois, Inc., angemessene Vorkehrungen zu treffen, wenn dies von einem qualifizierten Bewerber oder Mitarbeiter mit einer Behinderung angefordert wird, sofern diese Vorkehrungen keine unzumutbare Härte darstellen. Wenn Sie angemessene Vorkehrungen beim Ausfüllen der Bewerbung, bei Vorstellungsgesprächen, beim Abschluss von Tests vor der Einstellung oder bei der sonstigen Teilnahme am Personalauswahlverfahren benötigen, wenden Sie sich bitte an [email protected].
Wir bieten ein umfassendes Leistungspaket für Ihr Wohlbefinden und das Ihrer Familie, einschließlich:
Weitere Informationen zu unseren Leistungen finden Sie unter Careers at Galois.
Reverse-Recruiting- Plattform für Entwickler
Für mehr Stellen berücksichtigt werden, ohne den ganzen Prozess zu wiederholen? Erstellen Sie Ihr Profil, damit Unternehmen auf Nort Sie finden.
Profil erstellen