Científico Principal

Acerca de Galois Quiénes somos: Desde el desarrollo 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 confiabilidad de sistemas donde el fracaso no es aceptable. Qué hacemos: Creemos que los sistemas confiables se basan en una fundación matemática formal. Nuestros investigadores aplican técnicas de análisis formal al diseño y verificación de sistemas de software críticos, permitiéndonos modelar, analizar y demostrar matemáticamente que un sistema se comporta exactamente como se pretende en todas las circunstancias. Con clientes que incluyen a la NASA, DARPA, AWS y el Departamento de Defensa, aprovechamos nuestra investigación de vanguardia para ofrecer soluciones y herramientas de alta certeza que mejoran la seguridad, fiabilidad y eficiencia operativa en sectores como aeroespacial y defensa, salud, semiconductores y fintech. La vida en Galois: Las personas son la base del éxito de Galois. Como empresa propiedad de sus 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 los individuos. Para obtener más información sobre nuestra cultura y estructura organizacional, visite La vida en Galois. Acerca de este puesto Estamos buscando varios Científicos Principales para impulsar una agenda de investigación y desarrollar oportunidades de I+D en la intersección de Métodos Formales y uno o más de nuestros cuatro Áreas de Investigación: Ingeniería Digital Rigurosa Inteligencia Artificial, Aprendizaje Automático y Ciencia de Datos Análisis de Software y Sistemas Criptografía Avanzada y Privacidad En este puesto, liderará programas de investigación financiados externamente, interactuará directamente con clientes gubernamentales e industriales y colaborará con equipos multidisciplinarios para traducir su investigación en soluciones implementables que resuelvan desafíos del mundo real. Publicará y presentará sus hallazgos, mentorará al personal junior y ayudará a establecer la agenda nacional y global para sistemas confiables. Lo que debe aportar Experiencia en Métodos Formales: Doctorado (o equivalente) en Ciencias de la Computación, Matemáticas Aplicadas o campo relacionado, con un historial de investigación de alta calidad (publicaciones, patentes u herramientas de código abierto) en verificación formal, demostración de teoremas, análisis estático o áreas relacionadas. Dominio del área: Experiencia demostrada en al menos una de nuestras cuatro áreas de investigación, con evidencia de proyectos aplicados o publicaciones. Financiamiento y Liderazgo de Programas: Éxito comprobado obteniendo subvenciones o contratos de investigación externos, y gestionando proyectos desde la propuesta hasta la entrega. Participación y Comunicación con Clientes: Excelentes habilidades técnicas de redacción y presentación; experiencia transformando resultados de investigación en soluciones claras y convincentes para socios gubernamentales o industriales. Mentoría Colaborativa: Pasión por capacitar e inspirar a equipos técnicos, fomentando una cultura de creatividad, curiosidad, innovación y sentido de pertenencia. Responsabilidades Desarrollo de Programas: Desarrollar y liderar un programa de investigación financiado externamente que implique frecuentes interacciones con clientes y agencias gubernamentales. Liderazgo Técnico: Definir hojas de ruta de investigación que integren métodos formales con su experiencia en el dominio. Colaboración entre Sectores: Establecer asociaciones dentro de Galois, academia, gobierno e industria para avanzar en programas activos de investigación y desarrollo. Liderazgo en Pensamiento: Publicar y hablar sobre su trabajo, estableciendo una reputación de liderazgo intelectual en su área de especialización. Mentoría: Guiar a ingenieros junior y fomentar un entorno inclusivo donde prosperen ideas diversas. Elegibilidad y autorización de seguridad Debe estar dispuesto a someterse a una investigación de seguridad y cumplir con los requisitos de elegibilidad para acceder a información clasificada (se prefiere fuertemente tener una autorización activa) 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. 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 es bienvenida la ubicación en Boston, MA. Beneficios Ofrecemos un paquete de beneficios completo para garantizar el bienestar de usted y su familia, que incluye: Plan de Propiedad Accionaria para Empleados (ESOP) Plan de jubilación 401(k) con coincidencia patronal del 5 % y vesting inmediato Planes médicos completamente pagados y plan de reembolso dental y visual Cuenta de Ahorro para la Salud (HSA) con generosas contribuciones patronales 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 totalmente pagada (disponible para nuevos padres por nacimiento, adopción y acogimiento) 1 semana de tiempo de innovación totalmente pagado “Blue Sky” cada año para perseguir sus 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 sus resultados, no en su 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 innovador y transparente sobre 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 basándose en 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 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 lugar de trabajo diverso e inclusivo que aplique principios y normas equitativamente 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 sean solicitadas por un solicitante calificado o empleado con discapacidad, a menos que dicha adaptación cause una dificultad excesiva. Si requiere una adaptación razonable al completar la solicitud de empleo, durante la entrevista, al realizar pruebas previas al empleo o participar de otro modo en el proceso de selección de personal, comuníquese con peopleoperations@galois.com