# FewerJobs export - 100 curated jobs
Generated: 2026-08-14T02:46:33.541Z
Source: https://fewerjobs.com

## Filters applied
- **q**: Prologis
- **quality_floor**: default
- **match_401k_strict**: true
- **parental_strict**: true
- **non_birth_strict**: true
- **pto_strict**: true
- **include_older**: false
- **verified_benefits_only**: true
- **apply_url_verified**: false
- **page**: 1
- **per_page**: 100
- **sort**: relevance

## Jobs
### Senior AI Engineer (Agentic AI) - The Procter & Gamble Company
- Location: WARSAW DOWNTOWN OFFICE (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-29
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pg.wd5.myworkdayjobs.com/1000/job/WARSAW-DOWNTOWN-OFFICE/Senior-AI-Engineer--Agentic-AI-_R000151205
- Excerpt: Senior AI Engineer (Agentic AI) WARSAW DOWNTOWN OFFICE posted: Posted 14 Days Ago

### Pashto/Dari Linguists - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Pashto-Dari--Linguists_R-00171004
- Excerpt: Pashto/Dari Linguists Vienna, VA posted: Posted 30+ Days Ago

### Pashto/Dari Linguist - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Pashto-Dari-Linguist_R-00160437
- Excerpt: Pashto/Dari Linguist Reston, VA posted: Posted 30+ Days Ago

### Alternant.e en développement logiciel embarqué C++ - H/F - GE Vernova
- Location: Villeurbanne (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Villeurbanne/Alternante-en-dveloppement-logiciel-embarqu-C-----H-F_R5040338-2
- Excerpt: Alternant.e en développement logiciel embarqué C++ - H/F Villeurbanne posted: Posted 30+ Days Ago

### Kurdish Linguists - Leidos
- Location: Chantilly, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Kurdish-Linguists_R-00171839-1
- Excerpt: Kurdish Linguists Chantilly, VA posted: Posted 30+ Days Ago

### Lead AI and Computer Vision specialist (f/m/d) - Baker Hughes
- Location: IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://bakerhughes.wd5.myworkdayjobs.com/BakerHughes/job/IT-FI-FLORENCE-VIA-FELICE-MATTEUCCI-2/Lead-AI-and-Computer-Vision-specialist_R163568-1
- Excerpt: Lead AI and Computer Vision specialist (f/m/d) IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 posted: Posted Yesterday

### French/Bambara Linguist - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/French-Bambara-Linguist_R-00160473
- Excerpt: French/Bambara Linguist Reston, VA posted: Posted 30+ Days Ago

### Senior AI Engineer (f/m/d) - Baker Hughes
- Location: IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://bakerhughes.wd5.myworkdayjobs.com/BakerHughes/job/IT-FI-FLORENCE-VIA-FELICE-MATTEUCCI-2/Senior-AI-Engineer_R163571
- Excerpt: Senior AI Engineer (f/m/d) IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 posted: Posted Yesterday

### Arabic Linguist - TS/SCI - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-09
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Arabic-Linguists_R-00179558
- Excerpt: Arabic Linguist - TS/SCI Vienna, VA posted: Posted 3 Days Ago

### Pashto Linguists - Leidos
- Location: Chantilly, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Pashto-Dari-Linguists_R-00170443-1
- Excerpt: Pashto Linguists Chantilly, VA posted: Posted 30+ Days Ago

### Sr. Software Engineer - Agentic AI - Comcast Corporation
- Location: PA - Philadelphia, 1800 Arch St (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/PA---Philadelphia-1800-Arch-St/Sr-Software-Engineer---Agentic-AI_R434809
- Excerpt: Sr. Software Engineer - Agentic AI PA - Philadelphia, 1800 Arch St posted: Posted 30+ Days Ago

### PhD Student : Agentic AI : Knowledge Graphs, LLMs & Autonomous Query Reasoning F/M - SAP
- Location: Region Europe | Country France | Internal Posting Location Mougins (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://jobs.sap.com/job/Mougins-Cedex-PhD-Student-Agentic-AI-Knowledge-Graphs%2C-LLMs-&-Autonomous-Query-Reasoning-FM-06254/1390040133/
- Excerpt: PhD Student : Agentic AI : Knowledge Graphs, LLMs & Autonomous Query Reasoning F/M Region Europe | Country France | Internal Posting Location Mougins We help the world run better At SAP, we keep it simple: you bring your best to us, and we'll bring out the best in you. We're builders touching over 20 industries and 80% of global commerce, and we need your unique talents to help shape what's next. The work is challenging - but it matters. You'll find a place where you can be yourself, prioritize your wellbeing, and truly belong. What's in it for you? Constant learning, skill growth, great benefits, and a team that wants you to grow and succeed. What you'll build In this role, you'll design and implement a next-generation agentic AI system that integrates Knowledge Graphs (KG), Large Language Models (LLMs), and autonomous agents to power sophisticated SAP service and support capabilities. You'll construct a rich, multi-source knowledge graph - grounded in RDF standards and a formally defined ontology - by ingesting and connecting heterogeneous SAP data: SAP Notes, Help Documentation, System Alerts, Application Components, and SimCat taxonomies, as well as structured product and software lifecycle metadata from the PPMS ontology (ProductLine, Product, ProductVersion, SoftwareComponent, SupportPackage, and related entities). This semantically structured graph forms the backbone of an intelligent support system. Building on the KG, you'll develop LLM-powered agents capable of reasoning over interconnected knowledge and translating complex natural language queries into SPARQL - enabling precise, explainable retrieval over the en

### Russian Linguist - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Russian-Linguist_R-00172874-1
- Excerpt: Russian Linguist Reston, VA posted: Posted 30+ Days Ago

### Arabic/French Linguists - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Arabic-French-Linguists_R-00182789
- Excerpt: Arabic/French Linguists Reston, VA posted: Posted 30+ Days Ago

### Senior Farsi Linguist - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-20
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Senior-Farsi-Linguist_R-00160562
- Excerpt: Senior Farsi Linguist Vienna, VA posted: Posted 23 Days Ago

### Principal Applied Scientist, Neuro-Symbolic AI Labs - Amazon
- Location: Boston, Massachusetts, USA (unspecified)
- Salary: $199K-$269K
- Posted: 2026-04-27
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10404529/principal-applied-scientist-neuro-symbolic-ai-labs
- Excerpt: Principal Applied Scientist, Neuro-Symbolic AI Labs Boston, Massachusetts, USA We are looking for researchers who aim to build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. Our neuro-symbolic AI technology is applied across a wide range of science and engineering domains within Amazon, and you will join the team at the forefront of this research. As a Principal Applied Scientist, you will play a pivotal role in shaping the definition, vision, and development of product features from beginning to end. You will: - Define and implement new neuro-symbolic applications that employ scalable and efficient approaches to solve complex problems. - Work in an agile, startup-like development environment, where you are always working on the most important stuff. - Deliver high-quality scientific artifacts. About the team We work closely with academia. Our team includes an Amazon Scholar in mathematics, and we maintain active research collaborations with faculty at leading CS departments (MIT, Berkeley, CMU). Basic Qualifications: - Experience programming in Java, C++, Python or related language - Experience with leading experienced scientists as well as having a record of developing junior members from academia or industry to a career track in a business environment - PhD, or Master's degree and 8+ years of applied research experience Preferred Qualifications: - 10+ years of relevant work in industry or academia experience - Experience creating novel algorithms and advancing the state of the art - Have peer-reviewed scientific contributions in premier journals and conferences Amazon is an equal opportunity employer

### AI Engineer - Python - Abbott Laboratories
- Location: Spain - Barcelona (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://abbott.wd5.myworkdayjobs.com/abbottcareers/job/Spain---Barcelona/AI-Engineer---Python_31142541
- Excerpt: AI Engineer - Python Spain - Barcelona posted: Posted 30+ Days Ago

### Jr AI Developer - Leidos
- Location: Atlanta, GA (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Atlanta-GA/Jr-AI-Developer_R-00185285
- Excerpt: Jr AI Developer Atlanta, GA posted: Posted Yesterday

### Senior Spanish Linguist - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Senior-Spanish-Linguist_R-00160565
- Excerpt: Senior Spanish Linguist Vienna, VA posted: Posted 30+ Days Ago

### Senior Product Manager, AWS Neurosymbolic AI - Amazon
- Location: Boston, Massachusetts, USA (unspecified)
- Salary: $152K-$206K
- Posted: 2026-05-14
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10420150/senior-product-manager-aws-neurosymbolic-ai
- Excerpt: Senior Product Manager, AWS Neurosymbolic AI Boston, Massachusetts, USA The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only powerful, but provably correct. We sit at one of the most compelling frontiers in computer science: the convergence of neural networks and symbolic reasoning, where large language models meet theorem provers, and where probabilistic intelligence meets mathematical certainty. Our mission is to make AI trustworthy at scale. We develop technology that enables AI systems to reason rigorously, verify their own outputs, and provide mathematical guarantees about their behavior. This is a fundamental shift in how AI systems are built, and we believe it's on the critical path to the next generation of safe, reliable AI-powered applications. We are one of the strongest concentrations of neurosymbolic AI talent in industry. Our team includes original contributors to the Lean theorem prover and is advised by Lean's Chief Architect. We bring together researchers and engineers from both the AI and formal methods communities, a combination that is extraordinarily rare and increasingly essential. We build on Amazon's 10+ year track record of bringing automated reasoning to production at scale. AWS pioneered the use of formal methods in cloud infrastructure, from network reachability analysis to cryptographic protocol verification to access policy reasoning, systems that serve hundreds of millions of customers today. Now we're taking the next giant leap: fusing that heritage with frontier AI to make every AI system verifiable, trustworthy, and safe.

### AI Engineer - Leidos
- Location: San Diego, CA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-26
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/San-Diego-CA/AI-Engineer_R-00184074
- Excerpt: AI Engineer San Diego, CA posted: Posted 17 Days Ago

### Agentic AI Developer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-22
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Agentic-AI-Developer_R-00183818
- Excerpt: Agentic AI Developer 2 Locations posted: Posted 21 Days Ago

### Principal Conversational & Agentic AI Architect - Verizon Communications
- Location: Irving, Texas (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-02
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://verizon.wd12.myworkdayjobs.com/verizon-careers/job/Irving-Texas/Principal-Conversational---Agentic-AI-Architect_R-1095664
- Excerpt: Principal Conversational & Agentic AI Architect Irving, Texas posted: Posted 10 Days Ago

### Principal Engineer Conversational AI - CVS Health Corporation
- Location: MA - Wellesley (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-09
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://cvshealth.wd1.myworkdayjobs.com/CVS_Health_Careers/job/MA---Wellesley/Principal-Engineer-Conversational-AI_R0877774
- Excerpt: Principal Engineer Conversational AI MA - Wellesley posted: Posted 3 Days Ago

### AI Software Developer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-14
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Gaithersburg-MD/AI-Software-Developer_R-00180425
- Excerpt: AI Software Developer 2 Locations posted: Posted 29 Days Ago

### Senior AI Integration Engineer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/11063-Alexandria-VA/Senior-AI-Integration-Engineer_R-00177903-1
- Excerpt: Senior AI Integration Engineer 2 Locations posted: Posted 30+ Days Ago

### Principal AI Software Engineer - GE Vernova
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Niskayuna/Principal-AI-Software-Engineer_R5026489-1
- Excerpt: Principal AI Software Engineer 2 Locations posted: Posted 30+ Days Ago

### Principal Engineer Conversational AI - CVS Health Corporation
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://cvshealth.wd1.myworkdayjobs.com/CVS_Health_Careers/job/MA---Wellesley/Principal-Engineer-Conversational-AI_R0877731-1
- Excerpt: Principal Engineer Conversational AI 2 Locations posted: Posted 11 Days Ago

### Principal AI Researcher - Workday, Inc.
- Location: 3 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-16
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://workday.wd5.myworkdayjobs.com/Workday/job/USA-CA-Pleasanton/Principal-AI-Researcher_JR-0107313
- Excerpt: Principal AI Researcher 3 Locations posted: Posted 27 Days Ago

### Senior Engineering Manager Conversational AI - CVS Health Corporation
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://cvshealth.wd1.myworkdayjobs.com/CVS_Health_Careers/job/MA---Wellesley/Senior-Engineering-Manager-Conversational-AI_R0877783
- Excerpt: Senior Engineering Manager Conversational AI 2 Locations posted: Posted 30+ Days Ago

### Senior Agentic AI Engineer - Adobe Inc.
- Location: Yerevan (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://adobe.wd5.myworkdayjobs.com/external_experienced/job/Yerevan/Senior-Agentic-AI-Engineer_R165482
- Excerpt: Senior Agentic AI Engineer Yerevan posted: Posted 30+ Days Ago

### Senior AI Engineer - The Procter & Gamble Company
- Location: WARSAW DOWNTOWN OFFICE (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-20
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pg.wd5.myworkdayjobs.com/1000/job/WARSAW-DOWNTOWN-OFFICE/Senior-AI-Engineer_R000148080-1
- Excerpt: Senior AI Engineer WARSAW DOWNTOWN OFFICE posted: Posted 23 Days Ago

### Sr. Applied Scientist, Agentic Automated Reasoning Group - Amazon
- Location: Boston, Massachusetts, USA (unspecified)
- Salary: $167K-$226K
- Posted: 2026-05-15
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10421621/sr-applied-scientist-agentic-automated-reasoning-group
- Excerpt: Sr. Applied Scientist, Agentic Automated Reasoning Group Boston, Massachusetts, USA 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 a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification 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 - End-to-end technical leadership for delivering AR solutions working backwards customer use cases. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers

### Chechen Linguist - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Chechen-Linguist_R-00167748
- Excerpt: Chechen Linguist Reston, VA posted: Posted 30+ Days Ago

### Senior Russian Linguists - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Senior-Russian-Linguists_R-00182646
- Excerpt: Senior Russian Linguists Reston, VA posted: Posted 30+ Days Ago

### Senior Scientist - Artificial Intelligence - GE Vernova
- Location: Niskayuna (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Niskayuna/Senior-Scientist---Artificial-Intelligence_R5023296-2
- Excerpt: Senior Scientist - Artificial Intelligence Niskayuna posted: Posted 30+ Days Ago

### Specialist Software Engineer - Full Stack & AI - Amgen
- Location: Portugal - Lisbon (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://amgen.wd1.myworkdayjobs.com/Careers/job/Portugal---Lisbon/Specialist-Software-Engineer---Full-Stack-React---Python---AI_R-241632
- Excerpt: Specialist Software Engineer - Full Stack & AI Portugal - Lisbon posted: Posted 11 Days Ago

### Ingénieur Automatisme et Contrôle de Procédé H/F - GE Vernova
- Location: Belfort (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Belfort/Ingnieur-Automatisme-et-Contrle-de-Procd-H-F_R3763571-1
- Excerpt: Ingénieur Automatisme et Contrôle de Procédé H/F Belfort posted: Posted 30+ Days Ago

### Senior AI Software Engineer - NXP Semiconductors
- Location: Guadalajara (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://nxp.wd3.myworkdayjobs.com/Careers/job/Guadalajara/Senior-AI-Software-Engineer_R-10061518
- Excerpt: Senior AI Software Engineer Guadalajara posted: Posted 30+ Days Ago

### Russian/Ukrainian Linguist - Leidos
- Location: Reston, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Reston-VA/Russian-Ukrainian-Linguist_R-00160570
- Excerpt: Russian/Ukrainian Linguist Reston, VA posted: Posted 30+ Days Ago

### Lead AI for Design and Control (f/m/d) - Baker Hughes
- Location: IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://bakerhughes.wd5.myworkdayjobs.com/BakerHughes/job/IT-FI-FLORENCE-VIA-FELICE-MATTEUCCI-2/Lead-AI-for-Design-and-Control_R163567
- Excerpt: Lead AI for Design and Control (f/m/d) IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 posted: Posted Yesterday

### Applied Scientist, Agentic Automated Reasoning Group - Amazon
- Location: Seattle, Washington, USA (unspecified)
- Salary: $143K-$193K
- Posted: 2026-05-28
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10433609/applied-scientist-agentic-automated-reasoning-group
- Excerpt: Applied Scientist, Agentic Automated Reasoning Group Seattle, Washington, USA The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative. The Automated Reasoning checks team is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale. You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment. 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. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in the Agentic Automated

### Senior AI Agent Engineer - GE Vernova
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Cambridge/Sr-AI-Agent-Engineer_R5025220-2
- Excerpt: Senior AI Agent Engineer 2 Locations posted: Posted 30+ Days Ago

### Ingénieur Automatisme et Contrôle de Procédé H/F - GE Vernova
- Location: Belfort (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Belfort/Ingnieur-Automatisme-et-Contrle-de-Procd-H-F_R5043565-2
- Excerpt: Ingénieur Automatisme et Contrôle de Procédé H/F Belfort posted: Posted 11 Days Ago

### Senior Arabic Linguists - Leidos
- Location: Chantilly, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-29
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Senior-Arabic-Linguists_R-00177287
- Excerpt: Senior Arabic Linguists Chantilly, VA posted: Posted 14 Days Ago

### Machine Learning Researcher (NLP) - The Boeing Company
- Location: KOR - Seoul, South Korea (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://boeing.wd1.myworkdayjobs.com/External_Careers/job/KOR---Seoul-South-Korea/Machine-Learning-Researcher--NLP-_JR2026514641-1
- Excerpt: Machine Learning Researcher (NLP) KOR - Seoul, South Korea posted: Posted Today

### Python Engineer, Agentic AI - Comcast Corporation
- Location: DC - Washington, 1325 G ST NW STE 300 (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/DC---Washington-1325-G-ST-NW-STE-300/Python-Engineer--Agentic-AI_R434874
- Excerpt: Python Engineer, Agentic AI DC - Washington, 1325 G ST NW STE 300 posted: Posted 11 Days Ago

### AI Engineer - The Procter & Gamble Company
- Location: WARSAW DOWNTOWN OFFICE (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-20
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pg.wd5.myworkdayjobs.com/1000/job/WARSAW-DOWNTOWN-OFFICE/AI-Engineer_R000146446-1
- Excerpt: AI Engineer WARSAW DOWNTOWN OFFICE posted: Posted 23 Days Ago

### Senior AI/ML Engineer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Alexandria-VA/Senior-AI-ML-Engineer_R-00181240
- Excerpt: Senior AI/ML Engineer 2 Locations posted: Posted 30+ Days Ago

### Principal Product Manager, AWS Neurosymbolic AI - Amazon
- Location: Seattle, Washington, USA (unspecified)
- Salary: $181K-$245K
- Posted: 2026-05-13
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10419273/principal-product-manager-aws-neurosymbolic-ai
- Excerpt: Principal Product Manager, AWS Neurosymbolic AI Seattle, Washington, USA The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only powerful, but provably correct. We sit at one of the most compelling frontiers in computer science: the convergence of neural networks and symbolic reasoning, where large language models meet theorem provers, and where probabilistic intelligence meets mathematical certainty. Our mission is to make AI trustworthy at scale. We develop technology that enables AI systems to reason rigorously, verify their own outputs, and provide mathematical guarantees about their behavior. This is a fundamental shift in how AI systems are built, and we believe it's on the critical path to the next generation of safe, reliable AI-powered applications. We are one of the strongest concentrations of neurosymbolic AI talent in industry. Our team includes original contributors to the Lean theorem prover and is advised by Lean's Chief Architect. We bring together researchers and engineers from both the AI and formal methods communities, a combination that is extraordinarily rare and increasingly essential. We build on Amazon's 10+ year track record of bringing automated reasoning to production at scale. AWS pioneered the use of formal methods in cloud infrastructure, from network reachability analysis to cryptographic protocol verification to access policy reasoning, systems that serve hundreds of millions of customers today. Now we're taking the next giant leap: fusing that heritage with frontier AI to make every AI system verifiable, trustworthy, and safe.

### Computer Scientist 2 (C++) - Adobe Inc.
- Location: Noida (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-08
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://adobe.wd5.myworkdayjobs.com/external_experienced/job/Noida/Computer-Scientist-2--C---_R167185-1
- Excerpt: Computer Scientist 2 (C++) Noida posted: Posted 4 Days Ago

### Generative AI Design Expert - Nike, Inc.
- Location: Beaverton, Oregon (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://nike.wd1.myworkdayjobs.com/nke/job/Beaverton-Oregon/Expert-Designer--Digital-Footwear-Design_R-71324
- Excerpt: Generative AI Design Expert Beaverton, Oregon posted: Posted 30+ Days Ago

### AI Engineer - Ecolab
- Location: IND - Karnataka - Bangalore - EDC (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://ecolab.wd1.myworkdayjobs.com/Ecolab_External/job/IND---Karnataka---Bangalore---EDC/AI-Engineer_R00296626
- Excerpt: AI Engineer IND - Karnataka - Bangalore - EDC posted: Posted Today

### Principal Engineer - Agentic AI - Comcast Corporation
- Location: PA - Philadelphia, 1800 Arch St (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/PA---Philadelphia-1800-Arch-St/Engineer-5--Agentic-AI_R435359-1
- Excerpt: Principal Engineer - Agentic AI PA - Philadelphia, 1800 Arch St posted: Posted 30+ Days Ago

### Limited employment up to 6 months (f/m/d) - Neuro-Symbolic AI: The Next Frontier (6 Months) - SAP
- Location: Region Europe | Country Germany | Internal Posting Location St. Leon-Rot (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://jobs.sap.com/job/St_-Leon-Rot-Limited-employment-up-to-6-months-%28fmd%29-Neuro-Symbolic-AI-The-Next-Frontier-%286-Months%29-68789/1380904533/
- Excerpt: Limited employment up to 6 months (f/m/d) - Neuro-Symbolic AI: The Next Frontier (6 Months) Region Europe | Country Germany | Internal Posting Location St. Leon-Rot We help the world run better At SAP, we keep it simple: you bring your best to us, and we'll bring out the best in you. We're builders touching over 20 industries and 80% of global commerce, and we need your unique talents to help shape what's next. The work is challenging - but it matters. You'll find a place where you can be yourself, prioritize your wellbeing, and truly belong. What's in it for you? Constant learning, skill growth, great benefits, and a team that wants you to grow and succeed. What you'll build As a Research Fellow in the Global Content Group (GCG) Engineering team, you will: Research and prototype neuro-symbolic AI approaches that combine the reasoning power of structured knowledge graphs with the generalization capabilities of large language and foundation models Develop methods to inject ontology-level knowledge - concepts, relationships, and constraints - directly into foundation models, enabling them to generate accurate, schema-aware SPARQL queries from natural language Design and evaluate knowledge-grounded question answering (Q&A) systems that go beyond retrieval-augmented generation, leveraging formal ontologies to improve precision, explainability, and faithfulness of model outputs Benchmark your approaches against existing text-to-SPARQL and semantic Q&A baselines on enterprise knowledge graphs Collaborate with a global team of software engineers, data scientists, and researchers on cutting-edge challenges at the intersection of symbolic AI and

### Architect - Agentic AI - 3M
- Location: US, Minnesota, Maplewood (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-09
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://3m.wd1.myworkdayjobs.com/Search/job/US-Minnesota-Maplewood/Architect---Agentic-AI_R01158263
- Excerpt: Architect - Agentic AI US, Minnesota, Maplewood posted: Posted 3 Days Ago

### AI Software Engineer - NXP Semiconductors
- Location: Guadalajara (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://nxp.wd3.myworkdayjobs.com/Careers/job/Guadalajara/AI-Software-Engineer_R-10061513
- Excerpt: AI Software Engineer Guadalajara posted: Posted 30+ Days Ago

### Senior Staff AI Engineer - GE Vernova
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Niskayuna/Sr-Staff-Software-Engineer---AI-Augmented-Full-Stack_R5026204-3
- Excerpt: Senior Staff AI Engineer 2 Locations posted: Posted 30+ Days Ago

### AI Staff Scientist - 3M
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://3m.wd1.myworkdayjobs.com/Search/job/Remote---Minnesota/AI-Staff-Scientist_R01164843
- Excerpt: AI Staff Scientist 2 Locations posted: Posted 30+ Days Ago

### Sr. Python Engineer, Agentic AI - Comcast Corporation
- Location: DC - Washington, 1325 G ST NW STE 300 (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/DC---Washington-1325-G-ST-NW-STE-300/Sr-Python-Engineer--Agentic-AI_R434868
- Excerpt: Sr. Python Engineer, Agentic AI DC - Washington, 1325 G ST NW STE 300 posted: Posted 30+ Days Ago

### Scientist (m/w/d) - unbefristet - Amgen
- Location: Germany - Munich (Research) (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://amgen.wd1.myworkdayjobs.com/Careers/job/Germany---Munich-Research/Scientist--m-w-d----unbefristet_R-244770-1
- Excerpt: Scientist (m/w/d) - unbefristet Germany - Munich (Research) posted: Posted 11 Days Ago

### Computer Scientist 2 (C++) - Adobe Inc.
- Location: Noida (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://adobe.wd5.myworkdayjobs.com/external_experienced/job/Noida/Computer-Scientist-2--C---_R165616-1
- Excerpt: Computer Scientist 2 (C++) Noida posted: Posted 30+ Days Ago

### Mid-Level SQL Engineer - Leidos
- Location: 5 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-19
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Gaithersburg-MD/Mid-Level-SQL-Engineer_R-00181110
- Excerpt: Mid-Level SQL Engineer 5 Locations posted: Posted 24 Days Ago

### Ingénieur Méthodes Procédés H/F - GE Vernova
- Location: Bourogne (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Bourogne/Ingnieur-Mthodes-Procds-H-F_R5044719-2
- Excerpt: Ingénieur Méthodes Procédés H/F Bourogne posted: Posted Yesterday

### Russian Linguist (HLT/Technical Support) - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Russian-Linguist--HLT-Technical-Support-_R-00182602
- Excerpt: Russian Linguist (HLT/Technical Support) Vienna, VA posted: Posted 30+ Days Ago

### Senior AI Engineer - Abbott Laboratories
- Location: United States - Illinois - Abbott Park (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-10
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://abbott.wd5.myworkdayjobs.com/abbottcareers/job/United-States---Illinois---Abbott-Park/Senior-AI-Engineer_31151704
- Excerpt: Senior AI Engineer United States - Illinois - Abbott Park posted: Posted 2 Days Ago

### Lead AI Software Developer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-14
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Gaithersburg-MD/Lead-AI-Software-Developer_R-00181528
- Excerpt: Lead AI Software Developer 2 Locations posted: Posted 29 Days Ago

### Technolog (m/k/n) - GE Vernova
- Location: Elblag (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-29
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Elblag/Technolog--m-k-n-_R5041533-2
- Excerpt: Technolog (m/k/n) Elblag posted: Posted 14 Days Ago

### Werkstudent im Bereich Engineering - Softwarebibliotheken (m/w/d) - GE Vernova
- Location: Berlin (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Berlin/Werkstudent-im-Bereich-Engineering---Softwarebibliotheken--m-w-d-_R5032319-2
- Excerpt: Werkstudent im Bereich Engineering - Softwarebibliotheken (m/w/d) Berlin posted: Posted 30+ Days Ago

### Sr. Computer Scientist - Leidos
- Location: Honolulu, HI (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Honolulu-HI/Computer-Scientist_R-00180956
- Excerpt: Sr. Computer Scientist Honolulu, HI posted: Posted 30+ Days Ago

### Principal Machine Learning Engineer - Workday, Inc.
- Location: 3 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-05
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://workday.wd5.myworkdayjobs.com/Workday/job/USA-WA-Seattle/Principal-Machine-Learning-Engineer_JR-0107128
- Excerpt: Principal Machine Learning Engineer 3 Locations posted: Posted 7 Days Ago

### Applied Scientist, Agentic Automated Reasoning - Amazon
- Location: London, England, GBR (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-28
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10433445/applied-scientist-agentic-automated-reasoning
- Excerpt: Applied Scientist, Agentic Automated Reasoning London, England, GBR 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

### Junior Python Developer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-02
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Junior-Python-Developer_R-00183794-1
- Excerpt: Junior Python Developer 2 Locations posted: Posted 10 Days Ago

### AI Software Engineer - Adobe Inc.
- Location: Bucharest (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://adobe.wd5.myworkdayjobs.com/external_experienced/job/Bucharest/AI-Software-Engineer_R168326
- Excerpt: AI Software Engineer Bucharest posted: Posted 30+ Days Ago

### AI Engineer - Fiserv
- Location: 3 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-19
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 2 weeks (not source-backed)
- Apply: https://fiserv.wd5.myworkdayjobs.com/EXT/job/Columbus-Ohio/Data-Scientist---Cybersecurity-AI---Advanced-Analytics_R-10388404-1
- Excerpt: AI Engineer 3 Locations posted: Posted 24 Days Ago

### Mechanikus gépbeállító / Gyártósori technikus - The Procter & Gamble Company
- Location: Csomor (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-10
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pg.wd5.myworkdayjobs.com/1000/job/Csomor/Mechanikus-gpbellt---Gyrtsori-technikus_R000129711
- Excerpt: Mechanikus gépbeállító / Gyártósori technikus Csomor posted: Posted 2 Days Ago

### Senior Applied Scientist, Neuro-Symbolic AI Labs - Amazon
- Location: Boston, Massachusetts, USA (unspecified)
- Salary: $167K-$226K
- Posted: 2026-05-05
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10411143/senior-applied-scientist-neuro-symbolic-ai-labs
- Excerpt: Senior Applied Scientist, Neuro-Symbolic AI Labs Boston, Massachusetts, USA We are looking for researchers who aim to build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. Our neuro-symbolic AI technology is applied across a wide range of science and engineering domains within Amazon, and you will join the team at the forefront of this research. As an Applied Scientist here, you will play a pivotal role in shaping the definition, vision, and development of product features from beginning to end. You will: * Define and implement new neuro-symbolic applications that employ scalable and efficient approaches to solve complex problems. * Work in an agile, startup-like development environment, where you are always working on the most important stuff. * Deliver high-quality scientific artifacts. About the team We work closely with academia. Our team includes an Amazon Scholar in mathematics, and we maintain active research collaborations with faculty at leading CS departments (MIT, Berkeley, CMU). Why AWS? Amazon Web Services (AWS) is the world's most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating - that's why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses. Inclusive Team Culture Here at AWS, it's in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and

### Chinese Linguist - Leidos
- Location: Vienna, VA (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Vienna-VA/Chinese-Linguist_R-00170109
- Excerpt: Chinese Linguist Vienna, VA posted: Posted 30+ Days Ago

### Engineer 3, Agentic AI - Comcast Corporation
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/PA---Philadelphia-1800-Arch-St/Engineer-3--Agentic-AI_R434798-1
- Excerpt: Engineer 3, Agentic AI 2 Locations posted: Posted 30+ Days Ago

### Senior Manager, Scientific AI Engineer - Pfizer
- Location: 4 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pfizer.wd1.myworkdayjobs.com/PfizerCareers/job/United-States---New-York---New-York-City/Senior-Manager--Scientific-AI-Engineer_4956481-1
- Excerpt: Senior Manager, Scientific AI Engineer 4 Locations posted: Posted Today

### Emerging Talent – AI and Computer engineering Intern 2026 Opportunities (Florence) (M/F/D/) - Baker Hughes
- Location: IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-11
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://bakerhughes.wd5.myworkdayjobs.com/BakerHughes/job/IT-FI-FLORENCE-VIA-FELICE-MATTEUCCI-2/Emerging-Talent---AI-and-Computer-engineering-Intern-2026-Opportunities--Florence-_R161407
- Excerpt: Emerging Talent – AI and Computer engineering Intern 2026 Opportunities (Florence) (M/F/D/) IT-FI-FLORENCE-VIA FELICE MATTEUCCI 2 posted: Posted Yesterday

### Senior AI Engineer (AI Factory) - The Procter & Gamble Company
- Location: WARSAW DOWNTOWN OFFICE (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-29
- Parental leave: 8 weeks (not source-backed)
- Non-birth-parent leave: 8 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://pg.wd5.myworkdayjobs.com/1000/job/WARSAW-DOWNTOWN-OFFICE/Senior-AI-Engineer--AI-Factory-_R000151292
- Excerpt: Senior AI Engineer (AI Factory) WARSAW DOWNTOWN OFFICE posted: Posted 14 Days Ago

### Senior AI Architect (w/m/x) - GE Aerospace
- Location: Warsaw (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://geaerospace.wd5.myworkdayjobs.com/GE_ExternalSite/job/Warsaw/Senior-AI-Architect--w-m-x-_R5031629
- Excerpt: Senior AI Architect (w/m/x) Warsaw posted: Posted 30+ Days Ago

### Senior Developer, Agentic AI Engineering - Workday, Inc.
- Location: Ireland, Dublin (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-05
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://workday.wd5.myworkdayjobs.com/Workday/job/Ireland-Dublin/Senior-Developer--Agentic-AI-Engineering_JR-0103617
- Excerpt: Senior Developer, Agentic AI Engineering Ireland, Dublin posted: Posted 7 Days Ago

### AI Systems Engineering Manager - HRIS - General Motors Company
- Location: Location not specified (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-10
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://search-careers.gm.com/en/jobs/jr-202611756/ai-systems-engineering-manager-hris/
- Excerpt: AI Systems Engineering Manager - HRIS

### Senior Applied Scientist, Agentic Automated Reasoning Group - Amazon
- Location: New York, New York, USA (unspecified)
- Salary: $184K-$249K
- Posted: 2026-05-28
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Fertility benefits: yes (not source-backed)
- Adoption assistance: yes (not source-backed)
- Mental health support: yes (not source-backed)
- Childcare support: yes (not source-backed)
- Apply: https://www.amazon.jobs/en/jobs/10433610/senior-applied-scientist-agentic-automated-reasoning-group
- Excerpt: Senior Applied Scientist, Agentic Automated Reasoning Group New York, New York, USA The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative. The Automated Reasoning checks team is looking for a Senior Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale. You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment. 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. See https://aws.amazon.com/security/provable-security/ As a Senior Applied

### Principal AI Engineer - Ecolab
- Location: IND - Karnataka - Bangalore - EDC (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://ecolab.wd1.myworkdayjobs.com/Ecolab_External/job/IND---Karnataka---Bangalore---EDC/Principal-AI-Engineer_R00289629
- Excerpt: Principal AI Engineer IND - Karnataka - Bangalore - EDC posted: Posted 30+ Days Ago

### Praktikant (m/w/d) im Bereich Gesundheitsökonomie - Amgen
- Location: Germany - Munich (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-01
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://amgen.wd1.myworkdayjobs.com/Careers/job/Germany---Munich/Praktikant--m-w-d--im-Bereich-Gesundheitskonomie_R-246381
- Excerpt: Praktikant (m/w/d) im Bereich Gesundheitsökonomie Germany - Munich posted: Posted 11 Days Ago

### Principal AI Compiler Engineer - NXP Semiconductors
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-17
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://nxp.wd3.myworkdayjobs.com/Careers/job/Austin-Oakhill-Office/Principal-AI-Compiler-Engineer_R-10063529
- Excerpt: Principal AI Compiler Engineer 2 Locations posted: Posted 26 Days Ago

### Ingénieur Automatisme H/F - GE Vernova
- Location: Belfort (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Belfort/Ingnieur-Automatisme-H-F_R5041450-1
- Excerpt: Ingénieur Automatisme H/F Belfort posted: Posted 30+ Days Ago

### Sr. Java Developer - Leidos
- Location: Bethesda, MD (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Bethesda-MD/Sr-Java-Developer_R-00174080
- Excerpt: Sr. Java Developer Bethesda, MD posted: Posted 30+ Days Ago

### Senior Python Developer - Leidos
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Chantilly-VA/Senior-Python-Developer_R-00177264
- Excerpt: Senior Python Developer 2 Locations posted: Posted 30+ Days Ago

### AGENT LOGISTIQUE - GE Vernova
- Location: Champigneulle (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 10 weeks (not source-backed)
- Non-birth-parent leave: 10 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://gevernova.wd5.myworkdayjobs.com/Vernova_ExternalSite/job/Champigneulle/AGENT-LOGISTIQUE_R5027959-1
- Excerpt: AGENT LOGISTIQUE Champigneulle posted: Posted 30+ Days Ago

### Machine Learning Engineer - Evergreen - Adobe Inc.
- Location: Bucharest (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 16 weeks (not source-backed)
- Non-birth-parent leave: 16 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://adobe.wd5.myworkdayjobs.com/external_experienced/job/Bucharest/Machine-Learning-Engineer---Evergreen_R158699-1
- Excerpt: Machine Learning Engineer - Evergreen Bucharest posted: Posted 30+ Days Ago

### Principal Java Developer - Leidos
- Location: Bethesda, MD (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://leidos.wd5.myworkdayjobs.com/External/job/Bethesda-MD/Principal-Java-Developer_R-00174077-1
- Excerpt: Principal Java Developer Bethesda, MD posted: Posted 30+ Days Ago

### Principal Cloud Engineer - AI Agentic - Comcast Corporation
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 4 weeks (not source-backed)
- Non-birth-parent leave: 4 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://comcast.wd5.myworkdayjobs.com/Comcast_Careers/job/PA---West-Chester-1354-Boot-Rd/Principal-Cloud-Engineer---AI-Agentic_R434790
- Excerpt: Principal Cloud Engineer - AI Agentic 2 Locations posted: Posted 30+ Days Ago

### Principal AI Software Engineer - CyberArk
- Location: Office - USA - CA - Headquarters (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://paloaltonetworks.wd5.myworkdayjobs.com/panwexternalcareers/job/Office---USA---CA---Headquarters/Principal-AI-Software-Engineer_JR-016015
- Excerpt: Principal AI Software Engineer Office - USA - CA - Headquarters posted: Posted 30+ Days Ago

### Sr Machine Learning / AI Engineer / ML OPS Engineer - Workday, Inc.
- Location: 2 Locations (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 12 weeks (not source-backed)
- Non-birth-parent leave: 12 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://workday.wd5.myworkdayjobs.com/Workday/job/Denmark-Copenhagen/Sr-Machine-Learning-Engineer_JR-0107655
- Excerpt: Sr Machine Learning / AI Engineer / ML OPS Engineer 2 Locations posted: Posted Today

### Associate IS Prog Analyst - Amgen
- Location: India - Hyderabad (unspecified)
- Salary: Not disclosed
- Posted: 2026-05-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://amgen.wd1.myworkdayjobs.com/Careers/job/India---Hyderabad/Associate-IS-Prog-Analyst_R-233098
- Excerpt: Associate IS Prog Analyst India - Hyderabad posted: Posted 30+ Days Ago

### Sr. AI Engineer - Ecolab
- Location: IND - Karnataka - Bangalore - EDC (unspecified)
- Salary: Not disclosed
- Posted: 2026-06-12
- Parental leave: 6 weeks (not source-backed)
- Non-birth-parent leave: 6 weeks (not source-backed)
- 401(k) match: listed (not source-backed)
- Apply: https://ecolab.wd1.myworkdayjobs.com/Ecolab_External/job/IND---Karnataka---Bangalore---EDC/Sr-AI-Engineer_R00296630
- Excerpt: Sr. AI Engineer IND - Karnataka - Bangalore - EDC posted: Posted Today

---
Source-backed benefit claims include source links; other benefit values are labeled separately.