Estados Unidos
MANTECH
Logical Intelligence
Ingeniero/a de IA - Aprendizaje por Refuerzo
Estados Unidos
San Francisco, California, United States
PythonKubernetesC++RustGo
Traducción automática. Consulta el original.
QUIÉNES SOMOS
En Logical Intelligence, estamos revolucionando el desarrollo de software con verificación formal impulsada por IA. Hemos desarrollado agentes pioneros que proporcionan garantías matemáticas de corrección del código, asegurando que el software se comporte exactamente como se espera, al tiempo que identifican de forma proactiva errores y vulnerabilidades de seguridad. Nuestro novedoso modelo fundacional permite un razonamiento escalable y preciso para código formalmente verificable en Rust, Golang y VMs de contratos inteligentes. Hemos ganado un conocido benchmark de verificación formal llamado PutnamBench, que consiste en 672 problemas matemáticos difíciles del William Lowell Putnam Exam, la competición matemática universitaria más antigua de Norteamérica. Respaldados por un equipo de clase mundial –incluyendo campeones de la ICPC, un Medallista Fields y un ganador del Premio ACM Turing–, estamos construyendo el futuro donde todo el código es demostrablemente correcto.
SOBRE EL PUESTO
¡Únete a nuestro equipo como Ingeniero/a de IA y ayúdanos a superar los límites de lo que es posible en el razonamiento lógico! Buscamos a una persona motivada para diseñar, implementar y refinar pipelines eficientes de modelos de lenguaje grandes (LLMs) para entrenamiento distribuido a escala. Estarás a la vanguardia del diseño y refinamiento de algoritmos que van más allá de las capacidades de los LLMs tradicionales. Trabajarás en estrecha colaboración con un talentoso equipo de expertos en IA, especialistas en EBM, ingenieros de verificación formal y desarrolladores de software para crear soluciones innovadoras.
QUÉ HARÁS
- Implementar nuevos algoritmos y modelos de razonamiento
- Evaluar enfoques de razonamiento, incluido el razonamiento en el espacio latente
- Pre-entrenar, ajustar y modificar los LLMs de última generación
- Optimizar y escalar pipelines de LLM
- Ajustar frameworks e interfaces para acelerar el desarrollo de machine learning
- Derivar soluciones prácticas e integrarlas con los resultados de otros equipos para proporcionar la mejor resolución general
CUALIFICACIONES
- Comprensión profunda del funcionamiento interno de los transformers, y capacidad para realizar cambios radicales en la arquitectura y manejar derivadas de orden superior
- Experiencia en lenguajes de programación y herramientas críticas para la computación de alto rendimiento en Python/C++ y machine learning, incluyendo frameworks de Deep Learning como PyTorch/TensorFlow/JAX
- Experiencia en la optimización de sistemas de machine learning, incluyendo técnicas generales y optimizaciones específicas de LLM
- Comprensión de los enfoques de última generación en razonamiento de LLM
- Capacidad para comprender enfoques de aprendizaje complejos, como los modelos basados en energía
- Experiencia con técnicas básicas de optimización distribuida
- Familiaridad con torch.compile o herramientas similares de optimización de rendimiento
- Comprensión de las arquitecturas de LLM y el funcionamiento interno del ajuste fino de LLM
- Más de 3 años de experiencia en producción en ML Infra, DataOps, entrenamiento distribuido. Dominio de clústeres de Kubernetes y recursos de cómputo distribuido
- Sólidas habilidades de comunicación y trabajo en equipo
- Disposición para explorar y promover tecnologías de vanguardia en el dominio de la infraestructura de ML y más allá
Puntos extra
- Publicaciones demostradas en alguna de las principales conferencias
- Experiencia en EBM o razonamiento latente
- Publicaciones demostradas en alguna de las principales conferencias
- Razonamiento matemático – matemáticas discretas y lógica
logicalintelligence.com logicalintelligence.com/
Más oportunidades con un solo perfil
¿Quieres optar a más puestos sin repetir todo el proceso? Crea tu perfil para que te encuentren las empresas que usan Nort.
Crear mi perfil