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 de Baja Latencia
Atto Trading, una empresa dinámica de trading cuantitativo fundada en 2010 y líder en estrategias globales de alta frecuencia, busca un Desarrollador de Baja Latencia para unirse a nuestro equipo. Estamos ampliando un equipo internacional y diverso, con expertos en trading, estadística, ingeniería y tecnología. Nuestro enfoque disciplinado combinado con retroalimentación rápida del mercado nos permite transformar ideas en beneficios rápidamente. Nuestro entorno de aprendizaje y colaboración nos permite resolver juntos algunos de los problemas más difíciles del mundo. Como empresa pequeña, permanecemos ágiles y nos exigimos los más altos estándares de integridad, ingenio y esfuerzo. Principales aspectos del puesto: Estamos modernizando nuestra plataforma de trading e investigación para escalar nuestro negocio de trading alfa. Esta plataforma permitirá a los investigadores explorar, probar e implementar señales sofisticadas, modelos y estrategias en diferentes clases de activos de forma robusta y completamente automatizada, manteniendo al mismo tiempo objetivos competitivos de latencia. Como Desarrollador de Baja Latencia, será responsable de diseñar, optimizar y mantener sistemas de trading de alto rendimiento para minimizar la latencia. Tu misión y objetivos: Analizar y optimizar el rendimiento de los sistemas de trading de baja latencia identificando cuellos de botella e ineficiencias en el código e implementando soluciones efectivas. Desarrollar y adaptar la plataforma para satisfacer las demandas de un entorno de trading acelerado, gestionando eficazmente la deuda técnica. Requisitos Más de 5 años de experiencia como desarrollador de baja latencia con enfoque en la optimización del rendimiento en un entorno de trading de alta frecuencia (HFT). Experiencia con múltiples componentes de una plataforma o sistema HFT, particularmente aquellos en la ruta crítica. Es un gran valor añadido haber trabajado en una empresa HFT durante su fase inicial y/o en un equipo de trading. Habilidades técnicas: Conocimientos profundos de plataformas HFT: redes, bypass del kernel, datos de mercado, entrada de órdenes, hilos, comunicación entre procesos y APIs de estrategia. Demostrada experiencia en desarrollo de baja latencia y optimización del rendimiento en HFT. Dominio sólido de C++. Excelente comprensión de las memorias caché de CPU y eficiencia de caché. Experiencia en sincronización multihilo y multiproceso. Buen conocimiento de los protocolos de red. Habilidad en el uso de herramientas de perfilado y optimización de rendimiento. Conocimientos avanzados de sistemas operativos Linux, incluyendo mecanismos de dispositivos a nivel de kernel. Sobre ti: Habilidades prácticas para la toma de decisiones. Excelentes habilidades de comunicación. Fuertes capacidades analíticas y resolución de problemas. Pasión por el trading. Capacidad para trabajar de forma independiente y en equipo. Beneficios Salarios competitivos. Tiempo libre pagado (5 semanas). Cobertura del costo del seguro médico. Almuerzos en la oficina. Sistema de bonificaciones discrecionales. Rango salarial anual base de $150.000 a $300.000. La remuneración (base y bonificación) puede variar según las habilidades y experiencia relacionadas con el puesto. Nuestra motivación: Somos una empresa comprometida en mantenernos a la vanguardia de la tecnología. Nuestro equipo siente pasión por el aprendizaje continuo y la mejora constante. Al no tener inversores ni clientes externos, somos los principales usuarios de los productos que creamos, lo que te brinda la oportunidad de tener un impacto real en el crecimiento de nuestra empresa. ¿Listo para impulsar tu carrera? Únete a nuestro equipo innovador y ayúdanos a moldear el futuro del trading a escala global. ¡Aplica ahora y creemos el futuro juntos!
New York, NY, USA
$150,000-300,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
Craigslist
Técnico de Reparación de Computadoras (Tacoma)
Título del puesto: Técnico de Reparación de Computadoras Ubicación: Tacoma, Washington Green PC es un proveedor de soluciones tecnológicas reconocido, especializado en reparaciones de computadoras, mantenimiento y servicios de TI. Con el compromiso de ofrecer soluciones de alta calidad a nuestros clientes, actualmente estamos buscando un Técnico de Reparación de Computadoras con experiencia y habilidades para unirse a nuestro equipo. Descripción del puesto: Como Técnico de Reparación de Computadoras en Green PC, será responsable de diagnosticar, reparar y mantener sistemas informáticos y periféricos. El candidato ideal tendrá una sólida formación técnica, excelentes habilidades para resolver problemas y un compromiso con la prestación de un servicio al cliente excepcional. Este puesto ofrece una oportunidad emocionante para trabajar en un entorno dinámico donde podrá contribuir al éxito de nuestros clientes mediante su experiencia técnica. Responsabilidades: Diagnosticar problemas de hardware y software en portátiles, ordenadores de sobremesa y periféricos. Realizar reparaciones y reemplazos de componentes defectuosos, incluyendo pero no limitado a placas base, discos duros, memoria RAM y fuentes de alimentación. Instalar y configurar sistemas operativos y aplicaciones de software. Realizar mantenimiento preventivo en sistemas informáticos para garantizar un rendimiento óptimo. Solucionar problemas de conectividad de red. Brindar soporte técnico a los clientes mediante contacto presencial, telefónico o remoto. Documentar todas las reparaciones y servicios realizados de forma clara y organizada. Mantenerse informado sobre las últimas tendencias y avances tecnológicos. Requisitos: Experiencia demostrada como Técnico de Reparación de Computadoras o puesto similar. Amplio conocimiento de hardware, software y sistemas operativos informáticos. Capacidad para diagnosticar y reparar problemas de hardware y software de manera eficiente. Excelentes habilidades para resolver problemas y realizar diagnósticos. Fuertes habilidades de comunicación y servicio al cliente. Habilidad para trabajar de forma independiente y en equipo. Certificaciones técnicas (por ejemplo, CompTIA A+, CompTIA Network+ o similares) son un plus. Conocimiento de los sistemas operativos Windows y Mac. Educación: Diploma de escuela secundaria o título asociado o certificación equivalente en Ciencias de la Computación, Tecnología de la Información o campo relacionado. Cómo postularse: Los candidatos interesados deben enviar su currículum, una carta de presentación detallando su experiencia relevante y cualquier certificación pertinente a sales@greenpcwa.com. Por favor, incluya "Solicitud de Técnico de Reparación de Computadoras - [Su Nombre]" en la línea de asunto. Green PC es un empleador que brinda igualdad de oportunidades. Animamos a personas de todos los orígenes y experiencias a postularse.
3619 S 54th St, Tacoma, WA 98409, USA
$17-21/hora
Craigslist
Técnico de TI en startup de TI de alto crecimiento en el área de SF (San Francisco)
Técnico de TI en startup de TI de alto crecimiento Cascade es un proveedor de servicios gestionados (MSP) en rápido crecimiento, que ofrece servicios tecnológicos en el Área de la Bahía, Los Ángeles y más allá. Ofrecemos un servicio de clase mundial a clientes de alto nivel en el sector de servicios financieros. Acerca del puesto: Estamos buscando un nuevo miembro del equipo que pueda utilizar sus habilidades técnicas y de servicio al cliente para impresionar a los usuarios más importantes de nuestros clientes, aprender y progresar rápidamente, ser extremadamente confiable y responsable, y desempeñar un papel clave en el crecimiento de nuestra empresa. Esta vacante es para un técnico que se sienta cómodo trabajando presencialmente con usuarios VIP en el Área de la Bahía y brindando asistencia remota a estos mismos VIP durante sus viajes. Buscamos ofrecer un paquete salarial por encima del mercado a cambio del más alto nivel de servicio al cliente, fiabilidad y flexibilidad, por lo que solo deben postularse candidatos que tengan mucha confianza en su capacidad para ofrecer un servicio de primer nivel. Buscamos a alguien con: Habilidades excepcionales de servicio al cliente, incluyendo un estilo claro de comunicación, alta fiabilidad y responsabilidad total sobre todos los problemas hasta su resolución completa. Experiencia demostrable en el soporte de estaciones de trabajo Mac OS. (La experiencia en PC es un plus) Pasión por desarrollar habilidades técnicas y blandas y por el avance profesional. Cualidades de liderazgo y sentido de pertenencia. Experiencia en organización y mantenimiento de sistemas de tickets. Capacidad para recibir retroalimentación constructiva y actuar de forma orientada a resultados. Actitud tranquila y concentrada en situaciones de alta presión. Fuertes habilidades profesionales y técnicas de comunicación (tanto escritas como verbales). Al menos 7 años de experiencia en mesa de ayuda con evidencia de crecimiento. Conocimientos moderados en redes (DHCP, DNS, VPN, problemas de conectividad para teletrabajadores). Experiencia con Jamf Pro u otras plataformas MDM. Experiencia opcional en el soporte de sistemas de audio/vídeo (Crestron, Savant, etc.). Conocimientos básicos de scripting bash y/o PowerShell son un plus. Algunas responsabilidades incluyen: Trabajar directamente con nuestros clientes VIP para enfrentar una amplia y cambiante variedad de desafíos. Brindar soporte técnico por teléfono, correo electrónico, chat y (cuando sea necesario) personalmente. Trabajar en proyectos técnicos avanzados, modernos y de vanguardia para mejorar la tecnología de los clientes VIP. Estar disponible, ser flexible y estar de guardia para atender a clientes VIP con trabajo regular fuera del horario habitual y/o los fines de semana. Ser capaz de trabajar en equipo para resolver problemas difíciles. Crear y mantener documentación técnica. Compensación, beneficios y ventajas: Salario base por encima del mercado por excelentes habilidades técnicas y de comunicación. Cobertura del 95 % en primas médicas, dentales y de visión, y más. Plan 401k con coincidencia del empleador. Reembolso mensual de $125 por tecnología. Subsidio mensual de $150 para comidas. Programa de gastos saludables de $100. Generoso reembolso y bonificaciones para aprendizaje y capacitación, incluyendo certificaciones técnicas. Horarios laborales flexibles. Trabajo regular desde casa. Políticas generosas de tiempo libre pagado (PTO), licencias por enfermedad y familiar. En Cascade, nos hemos comprometido a crear un entorno de trabajo diverso e inclusivo, asegurando que nuestros empleados se sientan cómodos siendo ellos mismos cada día en el trabajo. Valoramos las perspectivas únicas y creemos que esto es fundamental para resolver problemas complejos. Todos son bienvenidos y se les anima a postularse. Postúlese en línea con Cascade Technology Services, LLC en: https://cascade-technology-services-llc.rippling-ats.com/job/963430/it-technician-at-high-growth-it-startup-in-sf-area?s=cl
664 Noe St, San Francisco, CA 94114, USA
$100,000-120,000/año
Cookie
Configuración de cookies
Nuestras aplicaciones
Download
Descargar en
APP Store
Download
Consíguelo en
Google Play
© 2025 Servanan International Pte. Ltd.