Algorithm developer Work, Jobs in Broxbourne, Hrt (with Salaries)

Applied Scientist, Agentic Automated Reasoning
Amazon Development Centre (London) Limited —London
- Full-time
- Doctoral degree
- Machine learning
- AI
Quantitative Analyst / Developer – Multi-Desk & Low-Latency Electronic Execution
Citi —London
- Full-time
- Hybrid work
- Doctoral degree
- Computer Science
- Java
1d
Senior Specialist PhysicalAI & Models, WWSO Startups
AWS EMEA SARL (UK Branch) —London
- Full-time
- Sales
- Master's degree
- Business development
Senior/Lead Java Developer
EPAM Systems, Inc. —London
- Hybrid work
- Java
- Software development
- Employee stock purchase plan
- Employee assistance programme
Global Banking & Markets - Quantitative Developer, Systematic Market Making - Associate - London
Goldman Sachs —London
- Full-time
- Computer Science
- Communication skills
- Analytics
- Employee assistance programme
1d
Lead Software Engineer, Quant Developer, Equities Technology - Prime Services
JPMorganChase —London
- Full-time
- Computer Science
- Software troubleshooting
- Analysis skills
Senior Manager, SEO & AI Search
House of CB —London
- Full-time
- Communication skills
Market Operations Analyst (APAC/Europe Session)
Quantiq —London
- Analysis skills
- Bachelor's degree
- Linux
Senior Blockchain Engineer - Digital Assets Platform
Citi —London
- Full-time
- Hybrid work
- Doctoral degree
- Computer Science
- Engineering
- Annual leave
- Employee assistance programme
8d
Lead Rulebook Configurator | Insurance domain | London
Infosys —London
- Analysis skills
- APIs
- Communication skills
Senior Software Engineer (with Delivery Management)
Everfox —London
- £76,900 - £123,500 a year
- Full-time
- Hybrid work
- Computer Science
- Engineering
- AI
- Annual leave
Sr. Software Engineer, Cloud Detection (Hybrid, London)
CrowdStrike —London
- Full-time
- Computer Science
- AWS
- Mentoring
Manager of Customer Support, London
CodeRabbit —London
- Full-time
- Hybrid work
- Computer Science
- Bachelor's degree
- Scripting
Quantitative Trading & Research - Credit Portfolio - Quantitative Developer - Associate or Vice President
JPMorganChase —London
- Full-time
- Doctoral degree
- Engineering
- Machine learning
Engineering - Prime Finance Engineering - Vice President – London
Goldman Sachs —London
- Full-time
- Master's degree
- Analysis skills
- Bachelor's degree
- Employee assistance programme
Staff/Lead Fullstack Engineer (Frontend-focused)
Mimica —London
- Full-time
- Remote
- English
- Communication skills
- Annual leave
- Flexible schedule
Sales Development Representative UK - B2B SaaS (m/f/d)
7Learnings —London
- £35,000 - £56,000 a year
- Full-time
- English
- Business development
Quick apply
Head of Web Experience
Sokin —London
- Hybrid work
- Computer Science
- Marketing
- Master's degree
Embedded Automotive Platforms Software Engineer
Wayve —London
- Full-time
- Hybrid work
- Computer Science
- Software troubleshooting
- Engineering
Senior Pricing Engineer
Hastings Direct —London
- Full-time
- Hybrid work
- Recruiting
- Training & development
- Annual leave

I want to receive the latest job alerts for algorithm developer in broxbourne, hrt

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Applied Scientist, Agentic Automated Reasoning

Amazon Development Centre (London) Limited -
London

Apply Now

Job details

Full-time

Qualifications

Data mining
Doctoral degree
Data structures
Machine learning
Distributed systems
AI

Full job description

DESCRIPTION

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 endeavor.

The Strata team (https://github.com/strata-org) 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. https://aws.amazon.com/security/provable-security/

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 formalize their requirements, find revealing tests, generate required boiler plate 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 optimization, data mining, parallel and distributed computing, high-performance computing

PREFERRED QUALIFICATIONS

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 (https://www.amazon.jobs/en/privacy_page) to know more about how we collect, use and transfer the personal data of our candidates.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

Apply Now

Refine Your Search

algorithm developer jobs in broxbourne, hrt

Applied Scientist, Agentic Automated Reasoning

Quantitative Analyst / Developer – Multi-Desk & Low-Latency Electronic Execution

Senior Specialist PhysicalAI & Models, WWSO Startups

Senior/Lead Java Developer

Global Banking & Markets - Quantitative Developer, Systematic Market Making - Associate - London

Lead Software Engineer, Quant Developer, Equities Technology - Prime Services

Senior Manager, SEO & AI Search

Market Operations Analyst (APAC/Europe Session)

Senior Blockchain Engineer - Digital Assets Platform

Lead Rulebook Configurator | Insurance domain | London

Senior Software Engineer (with Delivery Management)

Sr. Software Engineer, Cloud Detection (Hybrid, London)

Manager of Customer Support, London

Quantitative Trading & Research - Credit Portfolio - Quantitative Developer - Associate or Vice President

Engineering - Prime Finance Engineering - Vice President – London

Staff/Lead Fullstack Engineer (Frontend-focused)

Sales Development Representative UK - B2B SaaS (m/f/d)

Head of Web Experience

Embedded Automotive Platforms Software Engineer

Senior Pricing Engineer

I want to receive the latest job alerts for algorithm developer in broxbourne, hrt

Related Searches

Explore jobs in more locations

DESCRIPTION

BASIC QUALIFICATIONS

PREFERRED QUALIFICATIONS

Jobseeker tools

Employer Tools

Browse

Stay Connected