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 Defensor de Desarrolladores, Hub/Empresa - Trabajo Remoto en EE. UU.
En Hugging Face, estamos en un camino para democratizar la buena IA. Estamos construyendo la plataforma de creación de IA de más rápido crecimiento, con más de 5 millones de usuarios y 100 mil organizaciones que conjuntamente han compartido más de 1 millón de modelos, 300 mil conjuntos de datos y 300 mil aplicaciones. Nuestras bibliotecas de código abierto tienen más de 400 mil estrellas en GitHub. Acerca del puesto Como Ingeniero Defensor de Desarrolladores, será una fuerza clave para impulsar la adopción y amplificar la conciencia sobre Hugging Face Hub y nuestras ofertas de pago (como el Hugging Face Enterprise Hub y nuestra nueva función Inference Providers). Su enfoque principal será crear contenido técnico atractivo para mostrar las capacidades del Hub y nuestras soluciones de pago. Este puesto implica trabajar de forma colaborativa con diversos equipos, incluidos Producto, Infraestructura y Código Abierto. En el día a día, esta función implicará principalmente: Creación de contenido técnico: redactar documentación, publicaciones de blog, tutoriales, artículos, crear videos atractivos y presentaciones para conferencias y seminarios web... Todo el contenido tendrá como objetivo educar, inspirar y convertir a posibles usuarios en adoptantes activos del Hub y nuestras soluciones empresariales, articulando claramente los beneficios según las necesidades de diferentes usuarios y empresas. Demostraciones y prototipos atractivos: diseñar y desarrollar demos y prototipos convincentes que muestren el poder y la versatilidad de Hugging Face Hub, con repositorios de código fáciles de usar para que los desarrolladores puedan replicar rápidamente sus ejemplos y construir sobre ellos. Estas demos ilustrarán caminos hacia el valor, por ejemplo aprovechando nuestros Inference Providers para obtener acceso simplificado a una multitud de modelos. Participación en el ecosistema y generación de conciencia: identificar proactivamente y cultivar relaciones dentro del ecosistema de desarrolladores. Compartir ampliamente su contenido y demos, participar en comunidades relevantes y asistir a eventos para aumentar la visibilidad, generar conciencia y atraer nuevos usuarios hacia el Hub y sus funciones de pago. Sobre usted Trabajarás con un equipo de ingenieros solidario y con un vasto ecosistema, disfrutando al mismo tiempo de mucha autonomía. Este puesto es ideal para alguien que: Es un creador y comunicador excepcional: tienes la capacidad demostrada de crear contenido claro, atractivo y técnicamente preciso (escrito, código, video) que conecte con desarrolladores. Destacas en explicar temas complejos de forma sencilla. Ingeniero generalista con empatía hacia desarrolladores: versátil y empático, con una sólida comprensión de las necesidades, dificultades y procesos de aprendizaje de los desarrolladores. Entusiasta evangelizador de productos centrados en ML: apasionado por trabajar en productos de vanguardia en aprendizaje automático y demostrar proactivamente su valor ante audiencias diversas mediante contenido y demos atractivos. Mentalidad orientada a desarrolladores y crecimiento: dedicado a empoderar a los desarrolladores mediante recursos excelentes, con un fuerte enfoque en impulsar la adopción y expandir nuestra comunidad mediante actividades educativas. Defensor de la adopción, accesibilidad y conciencia: profundamente comprometido con la creación de recursos que no solo sean técnicamente sólidos, sino también altamente accesibles, descubribles y efectivos para impulsar una adopción generalizada. Responsabilidad sobre producto, técnica y contenido: posee un fuerte sentido de propiedad y responsabilidad sobre la calidad e impacto de su contenido y su papel en el éxito del producto en el mercado. Si estás interesado en unirte a nosotros pero no cumples con todos los requisitos anteriores, ¡igualmente te animamos a postularte! Estamos construyendo un equipo diverso cuyas habilidades, experiencias y antecedentes se complementan mutuamente. Nos alegra considerar dónde podrías tener el mayor impacto. Más sobre Hugging Face Estamos trabajando activamente para crear una cultura que valore la diversidad, la equidad y la inclusión. Estamos construyendo intencionalmente un entorno laboral en el que te sientas respetado y apoyado, independientemente de quién seas o de dónde vengas. Creemos que esto es fundamental para construir una gran empresa y comunidad, así como para el futuro del aprendizaje automático en general. Hugging Face es un empleador que ofrece igualdad de oportunidades, y no discriminamos por raza, etnia, religión, color, origen nacional, género, orientación sexual, edad, estado civil, condición de veterano o discapacidad. Valoramos el desarrollo. Trabajarás con algunas de las personas más inteligentes de nuestra industria. Somos una organización con inclinación por el impacto y que siempre se desafía a sí misma a crecer continuamente. Proporcionamos a todos los empleados reembolso por conferencias, capacitación y educación relevantes. Nos preocupamos por tu bienestar. Ofrecemos horarios de trabajo flexibles y opciones de trabajo remoto. Ofrecemos beneficios de salud, dentales y de visión para empleados y sus dependientes. También ofrecemos licencia parental y tiempo libre pagado flexible. Apoyamos a nuestros empleados dondequiera que estén. Aunque tenemos oficinas en Nueva York y París, somos muy distribuidos, y todos los empleados remotos tienen la oportunidad de visitar nuestras oficinas. Si es necesario, también equiparemos tu estación de trabajo para asegurar tu éxito. Queremos que nuestros compañeros de equipo sean accionistas. Todos los empleados reciben acciones de la empresa como parte de su paquete de compensación. Si logramos convertirnos en una plataforma definitoria en el campo del aprendizaje automático y la inteligencia artificial, todos disfrutaremos de los beneficios.
New York, NY, USA
Salario negociable
Craigslist
Encargado de Hogar/Gerente de Instalaciones para Casas en Malibu y Brentwood (Malibu)
Ubicación: Malibu (4 días), Brentwood (1 día) – 5 días por semana Horario: Lunes a viernes, de 7 a.m. a 3 p.m., con flexibilidad para noches más tardías o fines de semana para eventos (se notificará con anticipación) Compensación: Según experiencia más horas extras, seguro médico y dental pagado, días festivos y vacaciones pagados. Estamos buscando un encargado de propiedad y especialista en mantenimiento experimentado y dedicado para supervisar el cuidado minucioso de nuestra residencia frente al mar en Malibu (4 días por semana) y nuestra propiedad en Brentwood (1 día por semana). El candidato ideal se enorgullecerá de mantener los espacios exteriores con los más altos estándares y poseerá las habilidades necesarias para realizar diversas tareas de mantenimiento. Este puesto depende del Gerente de la Propiedad y requiere colaboración con otros miembros del personal y proveedores. DEBE ser capaz de tomar el control, crear una lista de verificación, trabajar siguiendo esa lista sin supervisión y reportar al Gerente de la Propiedad con actualizaciones regulares. Buscamos a alguien con dominio tecnológico, cómodo enviando actualizaciones por correo electrónico y gestionando sistemas técnicos del hogar. *¡Un plus si el candidato habla español! Responsabilidades: • Asegurar la condición impecable de los espacios exteriores, incluyendo áreas duras y la zona de playa. • Limpiar y mantener todos los elementos de acero inoxidable hasta dejarlos pulidos. • Preparar las llegadas y salidas del cliente cubriendo y descubriendo los muebles. • Cuidar los equipos de playa y recreación, asegurando su limpieza y funcionalidad. • Realizar recorridos semanales, realizando revisiones ligeras y pruebas de audio y video. • Realizar trabajos mínimos de jardinería según sea necesario. • Gestionar garajes, áreas de almacenamiento exterior y cobertizos de equipo de piscina. • Ayudar en la planificación de eventos, movimiento de muebles y recuperación de artículos almacenados. • Colaborar con levantamiento pesado, proyectos especiales y montaje y desmontaje de eventos domésticos. • Inspeccionar regularmente la propiedad para identificar necesidades de mantenimiento y reportarlas inmediatamente al Gerente de la Propiedad. • Realizar otros proyectos especiales y tareas asignadas por el Gerente de la Propiedad y los propietarios. Requisitos: • Experiencia comprobada en la gestión de una residencia frente al mar con atención al detalle. • Experiencia previa en una propiedad de Valor Neto Ultra Alto (UHNW). • Dominio de habilidades de manitas. • Conocimientos básicos de fontanería, HVAC, electricidad y sistemas de audio y video. • Familiaridad con la tecnología para hogares inteligentes, preferiblemente Crestron o Control4. • Excelentes habilidades organizativas y capacidad para gestionar proveedores y horarios de mantenimiento. • Capacidad para realizar tareas físicas y levantar objetos pesados. • Excelentes habilidades para resolver problemas y comunicarse.
23680 Malibu Rd, Malibu, CA 90265, USA
Salario negociable
Craigslist
¡La gente MUERE por usar nuestros servicios!! (A nivel nacional)
Ahora...NO creemos que morir sea gracioso, sin embargo...¡TODOS...ESTAMOS MUERIENDO! Es solo cuestión de CUÁNDO. ESTE ANUNCIO ES UN POCO LARGO, A PROPÓSITO, PARA PROPORCIONARLE INFORMACIÓN VITAL. CREEMOS QUE ESTARÁ DE ACUERDO EN QUE UNA INVERSIÓN DE 3 MINUTOS DE SU TIEMPO LE TRAERÁ GRANDES BENEFICIOS. ¡Por favor léalo? Joan Rivers solía abrir sus espectáculos con una frase famosa, preguntando al público..."¿PODEMOS HABLAR"? Ella realmente les estaba preguntando...¿necesitamos dar vueltas con chistes graciosos, o PODEMOS IR DIRECTAMENTE Y HABLAR DE COSAS REALES?? En otras palabras, ¿realmente tenemos que andar dando vueltas hablando de cosas Insignificantes, Triviales e Intrascendentes... O... podemos abordar el ELEFANTE EN LA HABITACIÓN...lo INEVITABLE para TODOS... ¡LA MUERTE! Sí...MILLONES de personas de costa a costa QUIEREN y NECESITAN nuestros servicios. Millones de personas mueren sin tener ningún plan ni dinero para cubrir los costos cada vez mayores de los funerales. Esto comúnmente causa una gran dificultad financiera para sus seres queridos. Por un pago mensual muy modesto, CON SU AYUDA...¡ESA PROBLEMÁTICA SE RESUELVE! Representamos a uno de los mayores servicios de membresía para funerales y cremaciones, Y... a las compañías del 1% superior en seguros de gastos finales del país. Ambas tienen calificación A+ con la Oficina de Mejores Negocios (Better Business Bureau)!! Nuestra empresa de membresía funeraria se estableció por primera vez en Colombia en 1950. Hemos continuado creciendo y sirviendo a personas en Costa Rica, Argentina, Venezuela, Bolivia, Brasil, Uruguay, Ecuador, El Salvador, Guatemala, Honduras, Nicaragua, Paraguay, Perú, Chile, Panamá, el Caribe, México, Haití, Jamaica, República Dominicana, y más. También atendemos en todo Estados Unidos, desde costa a costa, incluyendo Alaska y Hawái. Hemos gestionado varios cientos de miles de funerales. Hemos capacitado a Miles de agentes para presentar y explicar nuestros servicios personalmente, en línea, así como por teléfono. Le mostraremos cómo puede trazar su camino hacia unos ingresos a tiempo completo de seis cifras, representando una o AMBAS oportunidades. O...si solo desea ganar extra entre $1,000 y $2,000 al mes a tiempo parcial...¡nos encantaría contar con usted! ¡USTED ELIGE CUÁNDO TRABAJAR! Por cierto...somos LOS ÚNICOS PLANES que ofrecen una forma práctica, real y fácil para que los clientes compensen parte, si no todo, el costo de sus planes. Podemos proteger a siete personas con una membresía familiar (usted elige...no tiene que ser familiares ni siquiera estar en el mismo estado o país) por aproximadamente $80.00 al mes. Este es con mucho el programa de membresía de asistencia funeraria con mejor valor en EE.UU. Puede ganar hasta $800 por cada plan que active desde la comodidad de su hogar SIN NECESIDAD DE LICENCIA. También ganará ingresos residuales por cada inscripción en todos los planes que haya vendido. Si le interesa esto, podemos tenerlo activo y vendiendo en 2-3 días hábiles. Pagamos dos veces al mes. ¿Vende SEGUROS DE GASTOS FINALES? Ofrecemos prospectos y citas para agentes con licencia que vendan seguros de gastos finales. ¡Llámenos para obtener detalles! (480) 262-5903 Si no tiene estos productos en su portafolio de ofertas, ¡ESTÁ DEJANDO DINERO IMPORTANTE SOBRE LA MESA! Especialmente con personas difíciles de asegurar, cuando usted les cotiza una prima excesiva y le piden que se vaya o le cuelgan. ¿Obesidad mórbida? ¿EPOC? ¿Fumador empedernido? ¿Tomando montones de medicamentos? ¡Nosotros tenemos la solución para ellos! Ambos productos pueden venderse en persona o por teléfono, desde cualquier estado...de hecho, desde cualquier lugar del mundo donde tenga conexión a internet. ¿QUIERE VIAJAR? ¿Le gustaría ser expatriado? PODRÍA VIVIR EN UN CRUCERO Y GANAR VARIOS MILES A LA SEMANA. AHORA...ESA SÍ ES VIDA!!!!! El plan funerario NO ES UN SEGURO. No se requiere examen médico. ¡No hay que orinar en un vaso! No se necesita número de seguro social (SSN) para comprar este plan. Los agentes que hablan español pueden 'triunfar' ya que no se necesita SSN para 'comprar' una membresía; ayude a eliminar cuentas de Go Fund Me y lavados de autos de último minuto. Se incluye formación gratuita en línea sobre ventas y mercadeo, y también entrenamiento para convertirse en consultor funerario certificado, sin costo alguno. Y/O formación continua para vender con éxito seguros de gastos finales. ¿No cree que pueda vender? SIN PROBLEMA. Nuestro programa se trata de CONTAR. Es tan sólido, completo, FÁCIL DE ENTENDER, y realmente BARATO por lo que obtienen. ¡Muchas personas simplemente dicen "Hagámoslo" cuando se lo CUENTA! Esto puede hacerse completamente por teléfono. Si tiene familiares o amigos, por ejemplo, en Colorado, Minnesota, Texas e Illinois, y USTED VIVE EN VIRGINIA...todo puede explicarse y gestionarse por teléfono, con ayuda de documentos y videos que puede enviarles para ayudarlos a entender claramente su oferta. POR FAVOR LLÁMENOS AL 480-262-5903 Y AGENDE UNA HORA PARA HABLAR. ¡Se alegrará de haberlo hecho! PALABRAS CLAVE: Neptune Society; National Cremation Society; Smart Cremation; SCI; trabajo desde casa; ventas funerarias;
10117 W Royal Oak Rd, Sun City, AZ 85351, 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.