Applied Scientist, Agentic Automated Reasoning
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving ...