1 – 3 of 3 jobs
Join the 2025 AIA Firm Award Winner shaping a more sustainable future. LPA is a collective of designers, engineers, and researchers committed to tackling the biggest issues of our time. Our No Excuses integrated design approach
Job Overview: The Theorem Proving Engineering role, you will analyze new data path RTL designs and underlying algorithms, develop abstract C models of these designs, establish equivalence between RTL and C with a commercial checker (SLEC),
About the Opportunity Seekr builds trust into every stage of the AI lifecycle — providing a complete platform to build, train, validate, securely deploy, and monitor transparent generative AI applications and agents. Were hiring a Senior