Ingeniero de Software para Sistemas Embebidos

Sobre Galois Galois aborda los problemas más difíciles en informática. 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 en 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 confianza profunda, el aprendizaje y la innovación, y crear un espacio donde puedas ser auténticamente tú. Nuestra estructura organizacional ú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 una sensación de libertad para perseguir sus pasiones dentro y fuera del trabajo, ya sea mediante oportunidades de aprendizaje, crecimiento profesional, un sentido de comunidad o cualquier otra cosa que te aporte valor como persona. Los ingenieros investigadores de 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 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 investigadores 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 más información sobre nuestra estructura organizacional, visite Vida en Galois. Sobre este puesto Actualmente estamos buscando investigadores/ingenieros con experiencia en sistemas embebidos y garantía de software para realizar investigación sobre sistemas embebidos. La garantía de software es fundamental para cumplir nuestra misión de hacer que los sistemas críticos sean confiables. Responsabilidades Como ingeniero investigador, tendrás las siguientes responsabilidades: Recolección de requisitos: interactuar con el cliente en una serie de discusiones, en las que cada iteración perfeccione las necesidades del cliente y conduzca a sugerencias sobre cómo satisfacerlas. Arquitectura y diseño: construir descripciones arquitectónicas de alto nivel de los sistemas, y desarrollar diseños más detallados mediante la elaboración de prototipos de arquitectura. 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 terminado, cuidando la robustez y facilidad de uso. Garantía de software: utilizar herramientas y técnicas de razonamiento mecánico, como análisis estático, pruebas basadas en propiedades, comprobación de modelos acotada o ejecución simbólica, para demostrar o analizar las propiedades deseadas de seguridad y corrección de los sistemas de software. Pruebas y validación: construir y realizar regularmente pruebas de sistema, unitarias y de regresión, así como realizar validación y verificación semiformales. 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 para compartir entre proyectos. Principales cualificaciones Formación académica: título mínimo de licenciatura en informática, ingeniería eléctrica o matemáticas. Conocimientos técnicos requeridos Experiencia en la creación de software ciberfísico altamente eficiente y confiable para aplicaciones críticas Experiencia con un lenguaje de programación de sistemas como C, C++ o Rust Experiencia, o disposición para aprender, herramientas avanzadas de análisis de software basadas en ejecución simbólica (por ejemplo, Kani, Frama-C, Verus o Astree) Experiencia en desarrollar, probar e implementar capacidades en entornos de laboratorio integrados (SWIL/HWIL) Capacidad para trabajar en un equipo pequeño con el fin de prototipar y operativizar rápidamente nuevas funciones y capacidades Interés por aprender nuevas herramientas y técnicas que surjan en la comunidad de I+D Conocimientos técnicos deseados Experiencia en el desarrollo de algoritmos de control en MATLAB/Simulink o Ansys SCADE Comprensión profunda de los principios, métodos y prácticas industriales estándar relacionadas con la verificación formal Habilidades generales requeridas: Debe trabajar bien con los clientes, incluyendo establecer una buena relación, identificar necesidades y comunicarse con sólidas habilidades escritas, orales y de presentación. Debe estar altamente motivado y ser capaz de autogestionar plazos y objetivos de calidad 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 ubicación en Boston, MA. Requisitos de seguridad y ciudadanía El empleado debe poseer y mantener una autorización de seguridad de nivel Confidencial (Secret). El candidato no debe requerir una licencia de exportación del gobierno de EE.UU. para autorizar el acceso a tecnología y software controlados por leyes de exportación necesarios para desempeñar este puesto. Beneficios Ofrecemos un completo paquete de beneficios para garantizar tu bienestar y el de tu familia, que incluye: Plan de propiedad accionaria 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 visión Cuenta de ahorro para la salud (HSA) con aportes generosos del empleador Apoyo para la salud mental y el bienestar a través de nuestro programa de asistencia al empleado 5 semanas de tiempo libre pagado y 9 días de fiestas laborales pagadas 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 ("Blue Sky") para perseguir tus intereses personales 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 más información sobre nuestro enfoque innovador y transparente en la 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 esenciales para el proceso de innovación. Nos esforzamos por adquirir, desarrollar y mantener un entorno 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 candidato calificado o un empleado con discapacidad, a menos que dicha adaptación cause una dificultad excesiva. Si requieres una adaptación razonable para completar la solicitud de empleo, realizar entrevistas, completar pruebas preempleo o participar de otro modo en el proceso de selección, por favor contacta a peopleoperations@galois.com.