At a Glance
- Tasks: Join us to develop next-gen software verification tools using AI and cloud technology.
- Company: Be part of AWS's innovative Agentic Automated Reasoning Group.
- Benefits: Competitive salary, diverse team, and opportunities for professional growth.
- Other info: Dynamic environment focused on AI and automated reasoning with excellent career prospects.
- Why this job: Make a real impact on software security and reliability with cutting-edge tech.
- Qualifications: PhD or Master's in CS, experience in programming and formal verification.
The predicted salary is between 60000 - 80000 € per year.
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavour.
The Strata team is seeking an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, and generative AI. You will combine your expertise with that of your 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 to automated test generation.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud.
Key job responsibilities:- Work with customer teams to understand the nature of their software and the properties they need to establish of it.
- Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required.
- Use techniques spanning property-based testing to model checkers, and interactive theorem provers to establish program properties.
- Explore generative AI techniques to help customers formalise their requirements, find revealing tests, generate required boilerplate for testing and model checking, and find and repair program proofs.
About The Team: The Agentic Automated Reasoning Group at AWS develops and applies state‑of‑the‑art formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications, with a strong focus on AI‑based agents. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.
Basic Qualifications:- PhD, or a Master's degree and experience in CS, CE, ML or related field research.
- Experience in patents or publications at top-tier peer‑reviewed conferences or journals.
- Experience programming in Java, C++, Python or related language.
- Experience in any of the following areas: algorithms and data structures, parsing, numerical optimisation, data mining, parallel and distributed computing, high‑performance computing.
- Experience in formal verification, program analysis, constraint‑solving, or theorem proving (academic or professional work).
- Experience with model‑checking tools and techniques, SAT/SMT solvers.
- Knowledge of one or more methods of defining semantics: operational, denotational, axiomatic, etc.
- Experience applying machine learning and generative AI tools.
Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover, invent, simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon. Please consult our Privacy Notice to know more about how we collect, use and transfer the personal data of our candidates. Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit our website for more information.
Applied Scientist, Agentic Automated Reasoning in London employer: Amazon Science
At AWS, we pride ourselves on being an exceptional employer, offering a dynamic work culture that fosters innovation and collaboration among talented individuals. Our commitment to employee growth is evident through continuous learning opportunities and the chance to work on cutting-edge technologies in a supportive environment. Located in a vibrant tech hub, we provide unique advantages such as access to industry-leading resources and a diverse team dedicated to pushing the boundaries of automated reasoning and software verification.
StudySmarter Expert Advice🤫
We think this is how you could land Applied Scientist, Agentic Automated Reasoning in London
✨Tip Number 1
Network like a pro! Reach out to folks in the Agentic Automated Reasoning Group or related teams on LinkedIn. A friendly message can go a long way in getting your foot in the door.
✨Tip Number 2
Show off your skills! Prepare a portfolio of projects that highlight your expertise in model checking, programming languages, and AI. This will give you an edge during interviews.
✨Tip Number 3
Practice makes perfect! Brush up on your coding skills in Java, C++, or Python. You might face some technical questions, so being sharp will help you shine.
✨Tip Number 4
Apply through our website! It’s the best way to ensure your application gets seen by the right people. Plus, it shows you’re genuinely interested in joining the team.
We think you need these skills to ace Applied Scientist, Agentic Automated Reasoning in London
Some tips for your application 🫡
Show Off Your Expertise:When you're writing your application, make sure to highlight your experience in model checking, theorem proving, and programming languages. We want to see how your skills align with the role, so don’t hold back on showcasing your knowledge!
Tailor Your Application:Take a moment to customise your application for this specific role. Mention how your background in AI and formal verification can contribute to our mission at StudySmarter. A personalised touch goes a long way in making your application stand out!
Be Clear and Concise:Keep your application clear and to the point. Use straightforward language to explain your experiences and achievements. We appreciate clarity, and it helps us understand your qualifications better!
Apply Through Our Website:Don’t forget to submit your application through our website! It’s the best way for us to receive your details and ensures you’re considered for the role. We can’t wait to see what you bring to the table!
How to prepare for a job interview at Amazon Science
✨Know Your Stuff
Make sure you brush up on your knowledge of model checking, interactive theorem proving, and programming language semantics. Be ready to discuss how these concepts apply to the role and share any relevant experiences or projects you've worked on.
✨Showcase Your Problem-Solving Skills
Prepare to talk about specific challenges you've faced in software verification or code analysis. Use the STAR method (Situation, Task, Action, Result) to structure your answers and highlight how you approached complex problems, especially those involving generative AI techniques.
✨Familiarise Yourself with the Team's Work
Take some time to explore the Strata team's GitHub repository and understand their projects. Being able to reference their work during the interview shows genuine interest and can help you connect your skills to their needs.
✨Ask Insightful Questions
Prepare thoughtful questions about the team’s current projects, challenges they face, and how they envision the future of automated reasoning at AWS. This not only demonstrates your enthusiasm but also helps you gauge if the role aligns with your career goals.
