Resumen: Únase a Synopsys para contribuir al equipo de Formality, mejorar los productos mediante el desarrollo de algoritmos y la programación, y aprender estrategias de verificación formal en un entorno creativo de investigación y desarrollo. Aspectos destacados: 1. Contribuir a mejorar los productos mediante el desarrollo de algoritmos y la escritura de código. 2. Aprender, analizar, probar y depurar la base de código de Formality. 3. Ampliar los conocimientos sobre estrategias de verificación formal y computación distribuida. **Somos:** En Synopsys, impulsamos innovaciones que moldean la forma en que vivimos y nos conectamos. Nuestra tecnología potencia circuitos integrados de alto rendimiento y contenido de software, liderando la era de la inteligencia omnipresente. Únase a nosotros para transformar el futuro mediante una innovación tecnológica continua. **Sus funciones serán:** * Unirse al equipo de Formality y contribuir activamente. * Mejorar el producto mediante el desarrollo de algoritmos y la escritura de código. * Aprender, analizar, probar y depurar la base de código de Formality. * Interactuar con los equipos de I+D y soporte al cliente de Synopsys. **Requisitos:** * Licenciatura en Ciencias de la Computación o título afín. * Dominio fluido del inglés. * Amplia experiencia en desarrollo de software con C\+\+ en plataformas Linux. * Conocimientos sólidos sobre estructuras de datos, algoritmos y heurísticas. * Buenas habilidades analíticas, de depuración y resolución de problemas. * Fuerte deseo de aprender y explorar nuevas tecnologías. * Capacidad para trabajar tanto de forma independiente como en colaboración. * Experiencia en desarrollo de software complejo sobre bases de código heredadas. * Buenas habilidades comunicativas escritas y orales. **Modalidad de trabajo:** * Puesto presencial ubicado en Santiago, Vitacura, con horario laboral flexible. **El equipo al que pertenecerá:** Formality ofrece tecnología de comprobación de equivalencia de próxima generación. Como miembro del equipo de I+D de Formality, trabajará junto a otros ingenieros entusiastas y creativos. Contribuirá a una herramienta en constante crecimiento donde podrá ampliar sus conocimientos y habilidades. Entre los temas que aprenderá se incluyen estrategias de verificación formal, computación distribuida, y más. **Compensaciones y beneficios:** Ofrecemos beneficios relacionados con la salud, el bienestar y las finanzas. Su reclutador le proporcionará más detalles sobre la remuneración y los beneficios.