Salario negociable
Galois
Arlington, VA, USA
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 esto 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 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 creación de una confianza profunda, el aprendizaje y la innovación, y el espacio para que tú seas 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 una sensación de libertad para perseguir sus intereses dentro y fuera del trabajo, ya sea en oportunidades de aprendizaje, crecimiento profesional, sentido de comunidad o cualquier otra cosa que tenga valor para ti como persona. Para más información sobre nuestra estructura organizativa, visita Vida en Galois. Sobre este puesto Estamos buscando un nuevo Científico Principal apasionado por expandir las capacidades de los sistemas inteligentes para unirse a nuestro equipo de investigación en Galois. Nuestros clientes esperan que avancemos significativamente en el estado del arte en el diseño e implementación de soluciones que operen en entornos críticos para la seguridad, que van desde defensa hasta salud y aviación, centrándonos específicamente en establecer formalmente y garantizar la confiabilidad y seguridad de estos sistemas durante su funcionamiento. Estamos contratando a un Científico Principal apasionado por ampliar los límites de la confiabilidad, seguridad y fiabilidad de los sistemas de inteligencia artificial. En este puesto, liderarás una agenda de investigación y desarrollarás oportunidades de I+D que impliquen interactuar con clientes para ayudar a resolver problemas del mundo real con altas implicaciones. Tendrás la oportunidad de colaborar con un equipo multidisciplinario de expertos en diseño de algoritmos, matemáticas, ciencia cognitiva, ingeniería y psicología. Nuestro objetivo es realizar investigaciones rigurosas sobre sistemas de IA centradas en establecer su rendimiento y confiabilidad en contextos del mundo real y con usuarios humanos reales. Nuestra investigación no se limita estrictamente a los modelos de lenguaje grandes (LLMs) y tecnologías relacionadas; también estamos investigando diversas aproximaciones neurosimbólicas e híbridas para el desarrollo de IA para nuestros clientes. Por tanto, si buscas un entorno de apoyo para abrir camino con nuevas ideas y marcos de trabajo en IA, Galois es el lugar ideal para ti. También colaborarás extensamente con un equipo de expertos en IA/ML, matemáticas, ciencia cognitiva e ingeniería para avanzar en el estado del arte en este campo. Juntos, llevamos a cabo investigaciones innovadoras que ayudan a nuestros clientes a construir sistemas seguros, fiables y confiables. Buscamos personas que puedan inventar, aprender, pensar y inspirar a colegas y clientes. Aunque estamos especialmente interesados en investigadores que deseen trabajar en matemáticas computacionales a gran escala, también nos interesan ampliamente investigadores altamente motivados en el amplio campo de las matemáticas computacionales, incluyendo aritmética de computadora, análisis de algoritmos, probabilidad aplicada, computación científica combinatoria, teoría de control, ciencia de datos, métodos basados en datos, matemáticas discretas, métodos de discretización, algoritmos de grafos, computación de alto rendimiento, ecuaciones integrales y modelos no locales, álgebra lineal y multilineal, aprendizaje automático, análisis matemático, generación de mallas, modelado y simulación, métodos multinivel/multifísicos/multiescala, análisis numérico, investigación de operaciones, optimización, ecuaciones diferenciales ordinarias y parciales, solucionadores numéricos, inferencia estadística, integración temporal y cuantificación de incertidumbre. Responsabilidades Como Científico Principal, tú: Desarrollarás y liderarás un programa de investigación financiado externamente que incluya interacciones frecuentes con clientes y agencias gubernamentales. Colaborarás a través de Galois, el ámbito académico, el gobierno y la industria para avanzar en programas activos de investigación y desarrollo. Publicarás y hablarás sobre tu trabajo, estableciendo una reputación de liderazgo intelectual en tu área de especialización. Los candidatos competitivos para este puesto serán investigadores experimentados en su campo y habrán demostrado éxito al concebir, diseñar, obtener financiamiento y liderar programas de investigación significativos. Valoramos la experiencia práctica en el proceso de redacción de propuestas y un profundo interés por desarrollar programas que conecten directamente tus intereses de investigación con las necesidades reales de los clientes. Son esenciales unas excelentes habilidades técnicas de redacción, comunicación verbal y oratoria pública. Cualificaciones clave Doctorado en Ciencias de la Computación o campo relacionado, con un historial de investigación académica o industrial de alta calidad, demostrado mediante publicaciones, participación en la comunidad investigadora y/o solicitudes de patentes. Experiencia comprobada en la obtención de financiamiento externo para investigación. Curiosidad apasionada, interés por nuevas ideas y amor por el aprendizaje. Nuestros Científicos Principales trabajan en equipos pequeños y colaboran con éxito con clientes, socios y otros empleados en un entorno altamente colaborativo. Muchos de ellos también tienen doctorados en sus respectivos campos. Buscamos personas que puedan inventar, aprender, pensar e inspirar a estos equipos y a nuestros clientes. Elegibilidad y autorización de seguridad Debes estar dispuesto a someterte a una investigación de seguridad y cumplir con los requisitos de elegibilidad para acceder a información clasificada (se prefiere especialmente contar con una autorización vigente). No debes 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 es bienvenida la ubicación en Boston, MA. 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 un 5% de coincidencia del empleador y vesting inmediato Planes de seguro médico totalmente pagados y plan de reembolso dental y de la vista Cuenta de Ahorros para la Salud (HSA) con generosas contribuciones 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 la empresa cada año 16 semanas de licencia por paternidad/maternidad totalmente pagada (disponible para nuevos padres por nacimiento, adopción o acogimiento) 1 semana de tiempo de innovación totalmente pagado cada año ("Blue Sky") para perseguir tus intereses personales Para más información sobre nuestros beneficios, visita 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 de remuneración, visita 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 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, apoyando las necesidades y adaptaciones individuales de cada empleado. 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 carga excesiva. Si necesitas una adaptación razonable para completar la solicitud de empleo, entrevistas, pruebas preempleo o participar en cualquier otra fase del proceso de selección, por favor contacta a peopleoperations@galois.com