1 – 10 Empleados
HardwareYosysHQ desarrolla Yosys y otros proyectos de automatización de diseño electrónico (EDA) de código abierto para la ingeniería de hardware. La empresa combina herramientas de código abierto con productos y servicios comerciales que ayudan a los equipos de electrónica a mejorar sus flujos de trabajo para el diseño de hardware digital, por lo que resulta relevante para profesionales del desarrollo de hardware y la EDA.
Desarrollador de síntesis o verificación formal — YosysHQ, remoto en Austria
Únete a YosysHQ como desarrollador de EDA de código abierto para trabajar en herramientas de síntesis o verificación formal. El puesto incluye desarrollo independiente en C++, Rust y Python en proyectos de diseño y verificación de hardware.
Descripción
- Apoyar el trabajo de YosysHQ en síntesis o verificación formal
- Desarrollar y mantener herramientas de EDA en C++, Rust y Python
- Implementar comprobación de modelos de hardware, métodos formales, síntesis RTL/ASIC o flujos de trabajo relacionados
- Crear software de ingeniería y científico, implementar algoritmos de la literatura de investigación o contribuir a proyectos de compiladores
- Aprender y contribuir a una base de código de código abierto existente y de considerable tamaño
- Asumir la responsabilidad del trabajo asignado y resolver desafíos técnicos de forma independiente
- Impulsar Yosys y el ecosistema de EDA de código abierto en general
- Colaborar con las herramientas de código abierto de YosysHQ y contribuir potencialmente a ellas
Requisitos
- Dominio de C++ o Rust para la verificación formal, con disposición para aprender el otro lenguaje y Python
- Se valora la familiaridad con la implementación de comprobación de modelos de hardware
- Como alternativa, experiencia en verificación o métodos formales, incluido el uso de SAT/SMT, la demostración automatizada o interactiva de teoremas, la teoría de lenguajes de programación o la teoría de autómatas
- Alguna experiencia con el diseño de hardware RTL para verificación formal
- Dominio de C++ para trabajos de síntesis
- Alguna experiencia en diseño de hardware RTL, idealmente con ASIC
- La experiencia relevante puede incluir software de ingeniería o científico, implementación de algoritmos de investigación o desarrollo de compiladores
- Experiencia incorporándose progresivamente a un proyecto grande ya existente
- Capacidad para asumir las responsabilidades asignadas y trabajar de forma independiente con supervisión limitada
- No residir en un país sujeto a sanciones o restricciones de exportación ni tener prohibido trabajar para el Gobierno de Estados Unidos
- La solicitud requiere un CV y una breve carta de presentación
Beneficios
- Trabajo remoto con modalidades flexibles
- Horario laboral flexible
- Jornada parcial de uno a cinco días por semana
- Estructura salarial uniforme, con la misma tarifa para todos los miembros del equipo
- Trabajar desde el lugar que elijas
- Las reuniones del equipo suelen celebrarse entre las 15:00 y las 18:00, hora de Viena, con flexibilidad fuera de ese horario