As a Frontend Software Engineer, you will develop engaging mobile and web applications, collaborating closely with design and product teams to enhance user experience and performance.

Open invitation to express interest in working at Harmonic. No specific role or responsibilities listed; candidates will be considered for future suitable opportunities.

The Research Engineer will lead research in reinforcement learning and formal methods, developing algorithms for mathematical theorem proving and collaborating with a multidisciplinary team.

Conduct research in formal methods for theorem proving, applying verification techniques using Lean, and developing algorithms for AI systems.

The Software Engineer will collaborate with AI researchers to implement AI algorithms and develop scalable software for practical applications, ensuring efficiency and reliability in software systems.

The Research Engineer will conduct research in reinforcement learning and formal methods, develop novel algorithms for theorem proving, and collaborate with a multidisciplinary team.