Research Engineer

This role focuses on driving high-impact research in software verification by integrating AI technology and collaborating with teams to develop and test new ideas. The position involves building and maintaining state-of-the-art systems while preparing technical papers and presentations to ensure world-changing impact. Candidates must hold a relevant degree with significant research experience and demonstrate a track record of academic publications and conference participation.