Estados Unidos
Amplify Energy Services LLC
Galois, Inc.
Boston, Massachusetts, United States
Desde la creación de herramientas de ingeniería digital que hacen más segura la exploración espacial hasta la verificación de bibliotecas criptográficas que protegen algunos de los datos más valiosos del mundo, Galois desarrolla tecnología para garantizar la fiabilidad de sistemas donde el fallo es inaceptable.
Somos una comunidad de investigadores, ingenieros y personal de operaciones dedicados a crear fiabilidad en sistemas críticos en todas las áreas funcionales de la organización. Nuestra estructura organizativa única nos permite adaptarnos a las necesidades de los proyectos innovadores que entregamos.
Creemos que los sistemas fiables se construyen sobre una base matemática formal. Nuestros investigadores aplican técnicas de análisis formal al diseño y verificación de sistemas de software críticos, lo que nos permite modelar, analizar y demostrar matemáticamente que un sistema se comporta exactamente como se pretende bajo cualquier circunstancia. Con clientes que incluyen la NASA, DARPA, AWS y el DoW, aprovechamos nuestra investigación de vanguardia para ofrecer soluciones y herramientas de alta garantía que mejoran la seguridad, la fiabilidad y la eficiencia operativa en sectores como el aeroespacial y de defensa, la salud, los semiconductores y las fintech.
Los ingenieros de investigación en Galois diseñan y desarrollan tecnologías avanzadas para sistemas, redes y aplicaciones críticos para la seguridad y la protección. Los ingenieros trabajan en entornos de equipos pequeños y deben interactuar con éxito con clientes, socios y otros empleados en un entorno altamente cooperativo, colaborativo e intelectualmente desafiante.
Las personas son la base del éxito de Galois. Como empresa propiedad de los empleados, nos preocupamos no solo por las tecnologías que desarrollamos, sino también por el camino que tomamos para crearlas. Galois opera bajo un modelo organizativo altamente colaborativo que fomenta el liderazgo y el trabajo en equipo y respeta a las personas.
Para obtener más información sobre nuestra cultura y estructura organizativa, visite Life at Galois.
¡Galois está contratando a un ingeniero/investigador de software para unirse a nuestro equipo! Este puesto se centrará principalmente en avanzar en el estado del arte en la investigación e implementación de la teoría de lenguajes de programación. Los investigadores en este puesto utilizarán su experiencia en métodos formales y lenguajes de programación para llevar a cabo una verificación formal rigurosa de software y sistemas, asegurando que cumplan con los más altos estándares de seguridad.
Como ingeniero de investigación, usted tendrá las siguientes responsabilidades:
Se requiere la ciudadanía estadounidense, ya que solo los ciudadanos estadounidenses son elegibles para una autorización de seguridad.
Se dará preferencia a los candidatos con una o más de las siguientes experiencias técnicas:
Disfrutamos de un entorno de trabajo híbrido, y los candidatos pueden tener su base en el área metropolitana de Boston, MA, o en cualquiera de nuestras oficinas en Arlington, VA, Dayton, OH, Minneapolis, MN o Portland, OR.
La compensación se basa en el valor de sus resultados, no en su valor como empleado o persona. El proceso de compensación, los salarios individuales y los criterios para los cambios salariales son transparentes para toda la empresa.
Para obtener más información sobre nuestro enfoque de pago transparente y con visión de futuro, visite Compensation.
Galois es un empleador que ofrece igualdad de oportunidades y no discrimina en las oportunidades o prácticas de empleo por motivos de raza, etnia, origen nacional, ascendencia, color, sexo, identidad o expresión de género, orientación sexual, estado civil o parental, embarazo o parto, discapacidad, edad, religión, credo, información genética, condición de veterano o cualquier otra característica protegida por la ley federal, estatal o local aplicable. Fomentamos y respetamos los diferentes puntos de vista y experiencias como algo esencial para el proceso de innovación. Nos esforzamos por adquirir, desarrollar y mantener un lugar de trabajo diverso e inclusivo que aplique los principios y estándares de manera equitativa mientras apoya las necesidades y adaptaciones del empleado individual.
De acuerdo con la Ley de Estadounidenses con Discapacidades (ADA) y las leyes federales y estatales, es política de Galois, Inc. proporcionar adaptaciones razonables cuando lo solicite un candidato o empleado calificado con una discapacidad, a menos que dicha adaptación cause una dificultad excesiva. Si necesita una adaptación razonable para completar la solicitud de empleo, realizar entrevistas, completar cualquier prueba previa al empleo o participar de otro modo en el proceso de selección de empleados, comuníquese con [email protected].
Ofrecemos un paquete de beneficios sólido para velar por su bienestar y el de su familia, que incluye:
Para obtener más información sobre nuestros beneficios, visite Careers at Galois.
Plataforma de reclutamiento inverso para programadores
¿Quieres optar a más puestos sin repetir todo el proceso? Crea tu perfil para que te encuentren las empresas que usan Nort.
Crear mi perfil