Sobre Galois Galois aborda los problemas más difíciles en ciencias de la computación. Nuestra misión es garantizar la confianza en sistemas críticos que protegen la privacidad y la integridad de la información en el mundo real. Fundamental para ello es la aplicación de técnicas de análisis formal que permiten modelar, analizar y demostrar matemáticamente la corrección de los sistemas, asegurando así que un sistema se comporte exactamente como pretendemos bajo todas las circunstancias. Somos una comunidad de investigadores, ingenieros y personal operativo dedicados a crear confiabilidad en sistemas críticos en todas las áreas funcionales de la organización. Nuestra organización es altamente colaborativa, y promovemos el trabajo desde principios fundamentales, la transparencia, la construcción de una profunda confianza, el aprendizaje y la innovación, así como crear un espacio donde puedas ser auténticamente tú. Nuestra estructura organizativa única nos permite adaptarnos a las necesidades de los proyectos innovadores que llevamos a cabo. Somos una empresa propiedad de sus empleados y aspiramos a ofrecerles un sentido de libertad para perseguir sus pasiones dentro y fuera del trabajo, ya sea a través de oportunidades de aprendizaje, crecimiento profesional, un sentido de comunidad o cualquier otra cosa que tenga valor para ti como persona. 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 protección. Los ingenieros trabajan en equipos pequeños y deben interactuar exitosamente con clientes, socios y otros empleados en un entorno altamente cooperativo, colaborativo y con grandes desafíos intelectuales. Nuestros ingenieros de investigación trabajan en equipos pequeños e interactúan exitosamente con clientes, socios y otros empleados en un entorno altamente colaborativo. Buscamos personas que puedan inventar, aprender, pensar e inspirar. Para obtener más información sobre nuestra estructura organizativa, visite Vida en Galois. Sobre este puesto ¡Galois está contratando un Ingeniero de Software/Investigador para unirse a nuestro equipo! Este puesto se centrará principalmente en avanzar en el estado del arte de la investigación y la implementación en 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 realizar verificaciones formales rigurosas de software y sistemas, asegurando que cumplan con los más altos estándares de seguridad. Responsabilidades Como Ingeniero de Investigación, tendrás las siguientes responsabilidades: Recolección de requisitos: interactuar con el cliente en una serie de discusiones, donde cada iteración refine las necesidades del cliente y conduzca a la propuesta de medios para satisfacer esas necesidades. Arquitectura y diseño: construir descripciones arquitectónicas de alto nivel de sistemas de software y desarrollar diseños de programas más detallados mediante la elaboración de prototipos arquitectónicos. Las arquitecturas deben diseñarse pensando en la garantía, determinando dónde y cómo se aplicarán los métodos formales. Implementación: extender los prototipos de diseño hasta obtener un producto final, teniendo cuidado de asegurar la robustez y facilidad de uso. Verificación formal: utilizar herramientas de razonamiento mecánico, como demostradores de teoremas y verificadores de modelos, para demostrar o analizar las propiedades deseadas de seguridad y corrección de los sistemas. Pruebas y validación: construir y realizar regularmente pruebas de sistema, unitarias y de regresión, y llevar a cabo validaciones y verificaciones semiformalizadas. Investigación y desarrollo tecnológico: realizar investigación y desarrollo especulativo de tecnologías de vanguardia e incorporar dichas tecnologías en prototipos de productos. Desarrollo de infraestructura técnica: desarrollar (diseñar, implementar y mantener) herramientas para uso interno en Galois y desarrollar código de bibliotecas que se compartirá entre proyectos. Principales cualificaciones Formación académica: Se requiere un título mínimo de licenciatura en ciencias de la computación o equivalente. Un título de maestría o doctorado en informática o campo relacionado es deseable, aunque opcional. Conocimientos técnicos requeridos: Formación y experiencia en lenguajes de programación y métodos formales. Experiencia práctica en el desarrollo de software y en la aplicación de técnicas de verificación formal. Conocimiento de diversos métodos formales, como verificación de modelos, demostración de teoremas, análisis de programas y semántica formal de lenguajes de programación, y experiencia demostrada en al menos uno de estos campos. Experiencia en todos los aspectos de las prácticas de ingeniería de software. Dominio en el uso de métodos semiformalizados, como Haskell u otros lenguajes de programación funcional, incluyendo especificaciones formales ejecutables. Habilidades generales requeridas: Debe trabajar bien con los clientes, incluyendo establecer una buena relación, identificar necesidades y comunicarse con sólidas habilidades escritas, verbales y de presentación. Debe ser altamente motivado y capaz de autogestionar plazos y objetivos de calidad. Se dará preferencia a candidatos con una o más de las siguientes especialidades técnicas: Experiencia directa en el desarrollo de sistemas de alta garantía y/o productos de seguridad. Experiencia con herramientas de ingeniería de sistemas basadas en modelos, con dominio de SysML y AADL. Conocimiento de lenguajes y plataformas de ingeniería de hardware, como VHDL, Chisel, Bluespec, SystemVerilog y Verilog. Requisitos de seguridad y ciudadanía El empleado debe poder obtener y mantener una autorización de seguridad secreta del Departamento de Defensa (DoD). El empleado no debe requerir una licencia de exportación del gobierno de EE. UU. para autorizar el acceso a tecnología y software controlados por regulaciones de exportación necesarios para desempeñar este puesto. Ubicación Disfrutamos de un entorno de trabajo híbrido, y los candidatos pueden ubicarse en cualquiera de nuestras oficinas en Arlington, VA, Dayton, OH, Minneapolis, MN, o Portland, OR. Además, también se acepta ubicarse en Boston, MA. Beneficios Ofrecemos un completo paquete de beneficios para el bienestar de ti y tu familia, que incluye: Plan de propiedad de acciones para empleados (ESOP) Plan de jubilación 401(k) con coincidencia del empleador del 5% y vesting inmediato Planes de seguro médico completamente pagados y plan de reembolso dental y de la vista Cuenta de ahorro para salud (HSA) con contribuciones generosas del empleador Apoyo para la salud mental y el bienestar a través de nuestro programa de asistencia para empleados 5 semanas de tiempo libre pagado y 9 días de festivos pagados por empresa cada año 16 semanas de licencia parental completamente pagada (disponible para nacimiento, adopción y acogimiento) 1 semana de tiempo de innovación completamente pagado cada año, denominado "Blue Sky", para perseguir tus intereses Para obtener más información sobre nuestros beneficios, visite Carreras en Galois. Compensación La compensación se basa en el valor de tus resultados, no en tu valor como empleado o persona. El proceso de compensación, los salarios individuales y los criterios para cambios salariales son transparentes para toda la empresa. Para obtener más información sobre nuestro enfoque transparente y orientado al futuro en cuanto a remuneración, visite Compensación. Igualdad de oportunidades de empleo Galois es un empleador que ofrece igualdad de oportunidades y no discrimina en las oportunidades o prácticas laborales por 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 las leyes federales, estatales o locales aplicables. Fomentamos y respetamos diferentes puntos de vista y experiencias como elementos esenciales del proceso de innovación. Nos esforzamos por adquirir, desarrollar y mantener un lugar de trabajo diverso e inclusivo que aplique principios y normas de manera equitativa, al tiempo que 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 las solicite un solicitante calificado o un empleado con discapacidad, a menos que dicha adaptación cause una carga excesiva. Si requieres una adaptación razonable para completar la solicitud de empleo, para la entrevista, para realizar cualquier prueba preempleo o para participar de otra manera en el proceso de selección, por favor contacta a peopleoperations@galois.com.