At a Glance
- Tasks: Develop advanced software verification tools using AI techniques.
- Company: Join Amazon Science in Greater London, a leader in innovation.
- Benefits: Competitive salary, health benefits, and opportunities for professional growth.
- Other info: Collaborative environment with exciting projects and career advancement.
- Why this job: Make an impact at the intersection of AI and software security.
- Qualifications: PhD or Master's degree and experience with Java, C++, or Python.
The predicted salary is between 60000 - 80000 £ per year.
Amazon Science in Greater London is seeking an Applied Scientist to join the Agentic Automated Reasoning Group. This role involves developing advanced software verification tools using innovative techniques in artificial intelligence. You will work closely with customer teams to establish the verification properties necessary for their software systems.
Qualified candidates should hold a PhD or Master's degree in a relevant field and have experience with programming languages like Java, C++, or Python. This is an exciting opportunity for those passionate about working at the intersection of AI and software security.
Applied Scientist — Automated Reasoning for Code Verification employer: Amazon Science
Amazon Science in Greater London offers a dynamic and innovative work environment where Applied Scientists can thrive. With a strong focus on employee growth, the company provides ample opportunities for professional development and collaboration with leading experts in artificial intelligence. The inclusive work culture fosters creativity and encourages team members to push the boundaries of technology, making it an ideal place for those looking to make a meaningful impact in software verification.
