Categorías
···
Entrar / Registro

Ingeniero Principal de Software - C++

Salario negociable

Code Metal

Boston, MA, USA

Favoritos
Compartir

Parte del contenido se ha traducido automáticamenteVer original
Descripción

Título del puesto Ingeniero Principal de Software - Análisis de Programas para IA Descripción general Estamos buscando un ingeniero de software experimentado para ayudarnos a desarrollar una nueva generación de herramientas de transpilación habilitadas por IA y técnicas modernas de verificación que prometen cerrar la brecha entre el desarrollo de algoritmos y su implementación en sistemas embebidos. En este puesto desempeñará un papel clave en el diseño y la implementación de novedosas tuberías de generación de código que utilicen una combinación de IA generativa, análisis estático y métodos de verificación formal para traducir código escrito en un lenguaje a otro. Requisitos Responsabilidades ● Definir la arquitectura de software para tuberías de IA agente. ● Crear bases de código extensibles y bien probadas para productos de traducción de código. ● Colaborar con especialistas del dominio para incorporar métodos de verificación formal y análisis estático en la tubería de generación de código. ● Colaborar con los equipos de ingeniería de software e investigación para construir repositorios de código robustos y procesos de integración continua. Imprescindible ● Siete o más años de experiencia en desarrollo de software empresarial colaborativo en C++ para entregar productos a una amplia base de clientes ● Experiencia demostrada en recopilar requisitos de partes interesadas y convertirlos en diseños de software ● Experiencia demostrada en planificar y ejecutar proyectos grandes en entornos de equipo ● Historial comprobado de construcción y entrega de software robusto mediante la aplicación de las mejores prácticas durante todo el proceso del ciclo de vida del desarrollo de software (SDLC), incluyendo revisión de código, pruebas, integración continua, gestión de lanzamientos y sistemas de compilación Deseable ● Experiencia en desarrollo de compiladores - experiencia con Clang, LLVM ● Experiencia con técnicas avanzadas de verificación de software como fuzzing y/o verificación formal ● Experiencia en Python ● Experiencia con herramientas y marcos de aprendizaje automático (ML) ● Experiencia trabajando con sistemas embebidos, heterogéneos (FPGA y/o GPU) y/o sistemas distribuidos

Fuentea:  workable Ver publicación original

Ubicación
Boston, MA, USA
Mostrar mapa

workable

También le puede interesar

Workable
Desarrollador Senior de Software (Gateway/Datos del Mercado)
Eagle Seven está buscando un Desarrollador Senior de Software enfocado en conectividad con bolsas y datos del mercado. La persona seleccionada será responsable de analizar protocolos de bolsas, proponer soluciones de diseño e implementar conectividad con plataformas de negociación en todo el mundo. El puesto formará parte del equipo de desarrollo de la plataforma y brindará al candidato exposición directa con traders y desarrolladores de estrategias. El candidato ideal será autodidacta, tendrá un fuerte sentido de responsabilidad y estará motivado para ofrecer soluciones técnicas e intelectuales a problemas comerciales. Principales responsabilidades incluyen: Diseñar e implementar soluciones de acceso al mercado de baja latencia Comprender, interpretar e interactuar con bolsas globales y sus protocolos Diseñar, desarrollar y dar soporte a controladores de flujo de datos del mercado y enrutadores de órdenes de bolsa Diagnosticar problemas de latencia y resolverlos mediante ajustes y optimizaciones adecuadas Trabajar con traders para obtener, evaluar y facilitar el acceso a nuevas fuentes de datos Colaborar con el equipo ampliado para capturar, almacenar y proporcionar acceso histórico a los datos del mercado Coordinar con proveedores sobre temas técnicos y de datos según sea necesario para ofrecer soluciones rápidas al negocio Requisitos Habilidades y experiencia: Título universitario en Ciencias de la Computación o campo relacionado Trayectoria comprobada en la comprensión y manipulación de protocolos de bolsas globales Experiencia escribiendo analizadores sintácticos (parsers) para protocolos de bolsas como FIX e ITCH, entre otros Sólida formación en C++ y metaprogramación con plantillas de C++, con experiencia demostrada usando C++14/C++20 Dominio de TCP/IP, multicast UDP, sockets y protocolos de red, particularmente en sistemas Linux/Unix Experiencia usando herramientas de red como Wireshark y TCPDump para monitorear y depurar comportamientos Capacidad para trabajar en un entorno colaborativo Excelentes habilidades de comunicación escrita y verbal Beneficios Eagle Seven ofrece un paquete completo y competitivo de beneficios a todos sus empleados a tiempo completo. Cobertura médica PPO y HMO a través de BlueCross BlueShield Aportes de la empresa a una Cuenta de Ahorros para Salud (HSA) (al inscribirse en un plan de salud de alto deducible) Cobertura dental a través de Principal Cobertura de visión a través de VSP Plan de Ahorro para Jubilación 401k con coincidencia del empleador Seguro de vida pagado por la empresa Seguro de discapacidad pagado por la empresa Tiempo libre remunerado Cuenta de gastos flexibles Beneficios pre-fiscales para transporte Almuerzo y bebidas gratuitos El salario base mínimo para este puesto comienza en $150,000. Este puesto es elegible para una bonificación discrecional por rendimiento como parte del paquete total de compensación, además de los beneficios mencionados anteriormente. La compensación exacta ofrecida puede variar según factores que incluyen, pero no se limitan a, la experiencia, calificaciones y conjunto de habilidades del candidato.
Chicago, IL, USA
$150,000/año
Workable
Ingeniero de Software LDAP - Peru, IN - Puesto de Tiempo Completo
Ingeniero de Software LDAP Ubicación: Peru, IN Duración: Puesto permanente Responsabilidades: * Trabajar con fuentes de datos upstream y clientes downstream para resolver problemas relacionados con datos. * Asistir en el diseño, desarrollo e implementación de Datos como Servicio (DaaS) y soporte para microservicios. * Realizar análisis de datos y registros. * Asistir en el diseño, desarrollo e implementación de una arquitectura LDAP flexible para aplicaciones PaaS y SaaS. * Realizar mantenimiento periódico según sea necesario. Requisitos: * Realizar mantenimiento periódico según sea necesario. * Asistir en el diseño, desarrollo e implementación de una arquitectura LDAP flexible para aplicaciones PaaS y SaaS. * Trabajar con fuentes de datos upstream y clientes downstream para resolver problemas relacionados con datos. * Asistir en el diseño, desarrollo e implementación de Datos como Servicio (DaaS) y soporte para microservicios. * Realizar análisis de datos y registros. * Conocimientos avanzados de directorios LDAP basados en OpenDJ, Oracle (sun) o directorios ForgeRock. * Experto en mantener y solucionar problemas en entornos de producción. * Experiencia en la instalación y configuración de Oracle DSEE 11g y OpenDJ, ForgeRock DS. Habilidades requeridas en software: * Servicios de directorio (LDAP, MS Active Directory, MS Entra ID), incluyendo Política de Grupo, DNS y DHCP Exchange / M365 * VMware vSphere/vCenter * Sistemas operativos de servidores y PC, incluyendo Windows OS y Linux * Citrix DaaS y componentes relacionados * Microsoft SQL Server y/u Oracle SQL junto con utilidades de gestión de bases de datos Conocimientos recomendados * PowerShell * Git (GitHub / Gitlab) * TCP/IP * Modelo OSI de redes
Indiana, Peru
Salario negociable
Workable
Ingeniero de Desarrollo de Software IV
Título del trabajo: Ingeniero de Desarrollo de Software IV Ubicación: Herndon, VA, 20171 Duración: 6 Meses Tipo de trabajo: Contrato Modalidad de trabajo: Híbrido Descripción del trabajo: Diseñar, desarrollar, implementar, probar, documentar e implementar aplicaciones, herramientas, sistemas y servicios de software full-stack, nativos de la nube, relacionados con centros de contacto, utilizando programación multihilo, desarrollo en Python y React/node.js, implementando patrones de arquitectura y patrones de diseño, y utilizando modelos grandes de inteligencia artificial generativa. Ayudar en la recopilación y análisis de requisitos funcionales y empresariales, y traducir los requisitos en especificaciones técnicas para soluciones robustas, escalables y sostenibles que funcionen bien dentro de la arquitectura general del sistema. Ser responsable de la entrega completa de un sistema o aplicación, y actuar como líder técnico en proyectos complejos utilizando estándares de ingeniería de buenas prácticas. Producir documentación de software completa y utilizable. Requisitos: Maestría o Licenciatura en Ciencias de la Computación, Ingeniería en Computación o Eléctrica, Matemáticas o un campo relacionado, más cinco años de experiencia progresivamente responsable en el puesto ofertado o en ocupaciones relacionadas como Ingeniero de Software, Desarrollador de Software o similares. Habilidades técnicas requeridas: Dominio de codificación en Python y experiencia en desarrollo frontend con Javascript/React. Competencia en el desarrollo con servicios como AWS Lambda, Step Functions, DynamoDB, AppSync, Bedrock, SageMaker y CloudWatch. Competencia en el desarrollo e integración con API basadas en REST o GraphQL. Competencia en el desarrollo de soluciones de implementación de infraestructura como código, como AWS CloudFormation o AWS CDK. Experiencia colaborando con otros desarrolladores usando repositorios git, incluyendo la creación y gestión de ramas de características, solicitudes de extracción, fusiones de código y GitHub Actions o equivalentes. Habilidades preferidas: Experiencia en desarrollo para centros de contacto e infraestructura de telefonía. Experiencia en ingeniería de prompts para modelos grandes de lenguaje modernos. Experiencia usando asistentes modernos de codificación basados en IA agente para desarrollo de código, pruebas y documentación. Trayectoria comprobada en la construcción de arquitecturas sin servidor exitosas siguiendo los principios de AWS Well Architected. Requisitos del candidato: Años de experiencia: 5+ años Título o certificación: Preferiblemente título universitario Las 3 principales habilidades duras indispensables: Codificación basada en IA generativa AWS sin servidor Python y JavaScript/React Requerido: 5+ años-* Desarrollador Python, Javascript/React, AWS, (IA generativa/IA/ML/MLOps/etc.), solo híbrido
Herndon, VA 20170, USA
Salario negociable
Cookie
Configuración de cookies
Nuestras aplicaciones
Download
Descargar en
APP Store
Download
Consíguelo en
Google Play
© 2025 Servanan International Pte. Ltd.