I'm looking for a job. I exported this list from FewerJobs.com - a curated job board.

Please:
1. Rank these jobs by fit for me, given my resume / skills.
2. Highlight the top 5 with a one-sentence rationale each.
3. Flag any concerns, including benefit values without source-backed evidence.
4. Suggest one or two filter changes I could make on FewerJobs to find more good matches.

Filters I applied:
- q: Formal
- quality_floor: all
- match_401k_strict: true
- parental_strict: true
- non_birth_strict: true
- pto_strict: true
- include_older: false
- apply_url_verified: false
- page: 1
- per_page: 100
- sort: relevance

Jobs (100 total):

---
TITLE: Account Executive
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/411783ef-c2dd-45bb-86c9-e27cc9ea89dc
EXCERPT: Account Executive San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE We're looking for account executives who want to roll up their sleeves and help close deals and develop our go-to-market motion. You'll need to iterate on positioning, lead generation, and closing processes. We're looking for people to develop our GTM strategy and close key customer accounts as they build the sales process. WHAT YOU'LL DO - Generate leads through cold calling, research, networking, and driving your territory - Manage and convert inbound leads to drive revenue growth - Develop and implement full sales cycle strategies for driving product adoption, net new product sales, and client retention at scale among existing Formal customers - Collaborate with internal teams to ensure customer satisfaction and successful onboarding - Track and report on sales performance metrics - Gather client feedback to inform
---
TITLE: Product Marketing Manager
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/644ac896-4320-4157-b20e-7484ab8ee5c9
EXCERPT: Product Marketing Manager San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE As our Product Marketing Manager, you will play a crucial role in shaping and communicating Formal's value proposition to our target market. You'll work closely with our product, sales, and leadership teams to develop and execute marketing strategies that drive growth and establish Formal as a leader in the data security space. WHAT YOU'LL DO - Develop and execute marketing strategies that align with Formal's business objectives and target audiences - Build marketing campaigns (including in-person events, digital events, social/PR, customer marketing) to drive sales pipeline and acquire new customers - Create and maintain product positioning and messaging that differentiates Formal in the market - Produce high-quality marketing collateral, including whitepapers, case studies, blog posts, and sales enablement materials - Work closely with the sales team to
---
TITLE: Software Engineer | Backend
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/478897bd-5c4a-44ae-84bc-afc5d8ac1ac7
EXCERPT: Software Engineer | Backend San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and existing features -
---
TITLE: Solutions Engineer
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/a07c732d-285c-4774-b8c3-b30eba408698
EXCERPT: Solutions Engineer San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. We're looking for a Solutions Engineer who will partner closely with our customers and prospects to deeply understand their infrastructure and workflows, guide technical evaluations, and ensure successful deployments and ongoing value. This is a hybrid role that blends strong technical acumen with customer-facing empathy. You'll collaborate with engineering, product, and GTM teams to solve complex customer problems and influence the roadmap based on real-world needs. If you're someone who loves diving into technical architecture, explaining complex topics clearly, and helping teams adopt powerful products, this role is for you. WHAT YOU'LL DO - Act as the technical
---
TITLE: Staff Software Engineer | Backend
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/655536d5-5f3b-46d9-938d-b18bd54ff3c3
EXCERPT: Staff Software Engineer | Backend San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and existing features
---
TITLE: Founding Designer
EMPLOYER: Formal
LOCATION: San Francisco | OnSite (onsite)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/8ae393a9-23d3-4fb8-a800-a763b2c85854
EXCERPT: Founding Designer San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE As our Founding Designer you will play a crucial role in shaping and communicating Formal's story by owning UI/UX, visual design, branding, and video production. You'll have ownership of our design strategy and execution, working directly with the CEO and collaborating closely with engineering. WHAT YOU'LL DO - Design Interfaces: Develop intuitive UI/UX designs for our app using Figma while engaging directly with customers to shape product design. - Design and maintain our website. Create visually striking and intuitive web experiences that showcase our product and brand narrative. - Craft Visuals: Create engaging visuals and dynamic content for marketing, launches, and case studies. - Drive Branding: Ensure design consistency across Formal's brand identity. - Collaborate Cross-functionally: Work directly with the team to align design strategies with business goals.
---
TITLE: Formal Verification - AI/ML Engineer
EMPLOYER: Apple
LOCATION: Austin, United States of America (unspecified)
SALARY: $181K-$318K
POSTED: 2026-05-04
K401_MATCH: yes (not source-backed)
APPLY_URL: https://jobs.apple.com/en-us/details/200661334/formal-verification-ai-ml-engineer?team=HRDWR
EXCERPT: Formal Verification - AI/ML Engineer Austin, United States of America Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore, prototype, and build AI-powered systems - with a focus on Large Language Models - to augment and transform how formal verification is performed on Apple Silicon. You will work closely with formal verification engineers, design engineers, and EDA tool developers to identify high-impact opportunities and deliver practical, domain-specific AI applications. You will be responsible for: Building domain-specific AI applications that leverage LLMs and other ML techniques to accelerate formal verification workflows - from specification interpretation to property generation, proof debugging, and beyond. Developing and fine-tuning LLM-based systems tailored to hardware verification tasks, including retrieval-augmented generation (RAG) pipelines, agentic tool-use frameworks, and domain-adapted models. Collaborating with formal verification engineers to deeply understand FV methodologies, pain points, and opportunities where AI can meaningfully improve productivity, quality, and coverage. Prototyping novel AI-driven approaches for tasks such as automatic SVA property synthesis, natural-language-to-formal-specification translation, proof strategy recommendation, and intelligent counterexample analysis. Evaluating and integrating emerging AI/ML research into practical, production-quality tools and workflows used by the FV team. Establishing best practices and infrastructure for AI application development within the FV organization. Minimum Qualifications: A minimum of a bachelor's degree in relevant field and a minimum of 10 years of relevant industry experience. Preferred Qualifications: Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models
---
TITLE: Lead Principal Engineer Formal Verification (f/m/div)
EMPLOYER: Infineon Technologies
LOCATION: Dublin (Ireland) | Munich (Germany) (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://infineon.eightfold.ai/careers/job/563808959178630
EXCERPT: Lead Principal Engineer Formal Verification (f/m/div) Dublin (Ireland) | Munich (Germany)
---
TITLE: Staff/ Principal Formal Verification Engineer
EMPLOYER: Astera Labs
LOCATION: Israel (unspecified)
SALARY: Not disclosed
POSTED: 2026-03-18
K401_MATCH: yes (not source-backed)
APPLY_URL: https://job-boards.greenhouse.io/asteralabs/jobs/4674496005
EXCERPT: Staff/ Principal Formal Verification Engineer Israel Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Role Overview Astera Labs is establishing a strategic R&D center in Israel to drive the development of complex semiconductor chips that solve the critical 'data bottlenecks' enabling the future of AI at scale. As we expand our presence in Israel, we're seeking a visionary Formal Verification Engineer to help build our local engineering powerhouse from the ground up. This is a unique opportunity to take on meaningful product ownership in a new site, defining the formal verification strategy for chips that power the world's largest AI clusters. As the Formal Verification Engineer, you will be a foundational member of our Israel R&D center. You won't just execute tasks; you will define the Formal verification strategy for chips that drive the world's largest AI clusters. You will dive deep into the technical details, proving the correctness of complex designs and ensuring they flawlessly meet specifications. Key Responsibilities - Own and develop formal
---
TITLE: Formal Verification - DV
EMPLOYER: Etched
LOCATION: San Jose, CA, United States (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
APPLY_URL: https://jobs.ashbyhq.com/etched/07b00790-2817-4863-a330-b0caf2322460
EXCERPT: Formal Verification - DV San Jose, CA, United States About Etched Etched is building the world's first AI inference system purpose-built for transformers - delivering over 10x higher performance and dramatically lower cost and latency than a B200. With Etched ASICs, you can build products that would be impossible with GPUs, like real-time video generation models and extremely deep & parallel chain-of-thought reasoning agents. Backed by hundreds of millions from top-tier investors and staffed by leading engineers, Etched is redefining the infrastructure layer for the fastest growing industry in history. Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that power our ASICs, including compute arrays, DMA engines, NoCs, memory systems, PCIe, Ethernet, CPU subsystems, low-power peripherals, and vendor IP wrappers. You will work closely with architects, RTL designers, DV engineers, emulation teams, and software/firmware teams to prove design correctness, expose deep corner-case bugs, and improve verification closure across the full chip. Key Responsibilities - Define and drive formal verification strategy across the ASIC DV team for complex IP blocks, interface subsystems, and SoC integration logic. - Develop formal verification plans covering functional correctness, connectivity, ordering, reset behavior, configuration legality, and deadlock/livelock freedom. - Build reusable formal environments using SystemVerilog Assertions, assumptions, constraints, checkers, cut-points, abstraction models, and reference models. - Drive proof convergence using abstractions, cut-points, assume-guarantee reasoning, cover properties, bounded-proof analysis, and coverage metrics to establish formal
---
TITLE: Software Engineer | Fullstack
EMPLOYER: Formal
LOCATION: San Francisco | OnSite (onsite)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/d7f3b451-2595-49df-a58a-e6e5357f9952
EXCERPT: Software Engineer | Fullstack San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Typescript, NextJS, Shadcn, Vercel, and Golang WHAT YOU'LL DO - Continuously improve the performance and reliability of our frontend application by optimizing code and identifying areas for enhancement. - Enhance existing features by incorporating user feedback and implementing improvements to usability and design. - Take ownership of the frontend architecture, ensuring scalability, maintainability, and adherence to best practices. - Lead any initiative
---
TITLE: Senior Software Engineer | Backend
EMPLOYER: Formal
LOCATION: San Francisco | OnSite (onsite)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/942c842d-f5b8-4294-8ca1-000edc10303d
EXCERPT: Senior Software Engineer | Backend San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and
---
TITLE: Formal Verification Engineer
EMPLOYER: Apple
LOCATION: Austin, United States of America (unspecified)
SALARY: $147K-$272K
POSTED: 2026-04-13
K401_MATCH: yes (not source-backed)
APPLY_URL: https://jobs.apple.com/en-us/details/200657542/formal-verification-engineer?team=HRDWR
EXCERPT: Formal Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC). You'll ensure Apple products and services can seamlessly and efficiently handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices. Learn from the best Formal Verification team in the world and acquire experience being at the center of a System-on-a-chip (SoC) design verification effort collaborating with design. Are you passionate about changing the world? We have a critical impact on getting high quality functional products to millions of customers quickly. As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: - Working with Apple Silicon's world-class Security Enclave design engineers to develop a formal micro-architecture specification - Developing comprehensive formal verification test plan that includes unique security requirement verification - Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. - Crafting novel
---
TITLE: Manager, Formal Verification
EMPLOYER: NVIDIA Corporation
LOCATION: China, Shanghai (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-20
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/China-Shanghai/Manager--Formal-Verification_JR2018342-1
EXCERPT: Manager, Formal Verification China, Shanghai posted: Posted 23 Days Ago
---
TITLE: Intern: Application Engineering - Formal Verification
EMPLOYER: Cadence Design Systems, Inc.
LOCATION: BELO HORIZONTE (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-09
K401_MATCH: yes (not source-backed)
APPLY_URL: https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BELO-HORIZONTE/Intern--Application-Engineering---Formal-Verification_R54887
EXCERPT: Intern: Application Engineering - Formal Verification BELO HORIZONTE posted: Posted 3 Days Ago
---
TITLE: Formal Methods Engineer
EMPLOYER: Jane Street Group, LLC
LOCATION: London, England, United Kingdom (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-11
K401_MATCH: yes (not source-backed)
APPLY_URL: https://job-boards.greenhouse.io/janestreet/jobs/8588405002
EXCERPT: Formal Methods Engineer London, England, United Kingdom About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches. We're looking to build a new team with engineers who have: - Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas. - Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond. - Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams. We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required. Why do it here? The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there
---
TITLE: Senior / Lead Design Verification Engineer (Formal & Simulation)
EMPLOYER: SiFive
LOCATION: Ahmedabad, India (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
K401_MATCH: yes (not source-backed)
APPLY_URL: https://sifive.wd1.myworkdayjobs.com/sifivecareers/job/Ahmedabad-India/Senior---Lead-Design-Verification-Engineer--Formal---Simulation-_R-101325
EXCERPT: Senior / Lead Design Verification Engineer (Formal & Simulation) Ahmedabad, India posted:
---
TITLE: Formal Verification Engineer - CPU Core
EMPLOYER: Intel
LOCATION: US, California, Folsom (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/US-California-Folsom/Formal-Verification-Engineer---CPU-Core_JR0283606
EXCERPT: Formal Verification Engineer - CPU Core US, California, Folsom posted: Posted 30+ Days Ago
---
TITLE: Formal Verification Engineer
EMPLOYER: MatX
LOCATION: Mountain View, CA (unspecified)
SALARY: $120K-$212K
POSTED: 2026-05-19
K401_MATCH: yes (not source-backed)
MATCH_401K_PCT: 5
APPLY_URL: https://job-boards.greenhouse.io/matx/jobs/5225680008
EXCERPT: Formal Verification Engineer Mountain View, CA What MatX Is Building MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build the full stack-from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here - Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects, providing complete coverage wherever possible, using tools such as JasperGold or VC-Formal. - Develop and maintain machine-checked proofs for critical compiler transformations, ensuring correctness of lowering passes from our high-level programming model down to hardware - Build embeddings of our hardware description languages and simulator models into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those embeddings to prove functional correctness and microarchitectural properties directly against the designs - Collaborate with architecture, compiler, and silicon verification teams to identify correctness properties worth proving and translate them into tractable proof obligations - Drive methodology for integrating formal tools (JasperGold, SymbiYosys, or equivalent) into our existing practices Who You Are - Hands-on experience with hardware model checking-writing SVA/PSL properties, running bounded or unbounded proofs, and closing out formal verification targets at block or subsystem level - Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda, or similar) - Experience embedding an existing
---
TITLE: Formal Verification Student
EMPLOYER: Intel
LOCATION: Israel, Haifa (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-04
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/Israel-Haifa/Formal-Verification-Student_JR0280609-1
EXCERPT: Formal Verification Student Israel, Haifa posted: Posted 8 Days Ago
---
TITLE: Formal Verification Engineer - New College Grad 2026
EMPLOYER: NVIDIA Corporation
LOCATION: US, CA, Santa Clara (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-08
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Verification-Engineer---New-College-Grad-2026_JR2019447
EXCERPT: Formal Verification Engineer - New College Grad 2026 US, CA, Santa Clara posted: Posted 4 Days Ago
---
TITLE: Senior Formal Verification Engineer
EMPLOYER: NVIDIA Corporation
LOCATION: India, Bengaluru (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/India-Bengaluru/Senior-Formal-Verification-Engineer_JR2015243
EXCERPT: Senior Formal Verification Engineer India, Bengaluru posted: Posted 30+ Days Ago
---
TITLE: FVCTO - Formal Verification Specialist
EMPLOYER: Intel
LOCATION: India, Bangalore (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/FVCTO---Formal-Verification-Specialist_JR0279625
EXCERPT: FVCTO - Formal Verification Specialist India, Bangalore posted: Posted 30+ Days Ago
---
TITLE: Formal Verification Intern - Fall 2026
EMPLOYER: NVIDIA Corporation
LOCATION: 2 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Verification-Intern---Fall-2026_JR2017490
EXCERPT: Formal Verification Intern - Fall 2026 2 Locations posted: Posted 30+ Days Ago
---
TITLE: CPU Formal Verification Engineer
EMPLOYER: Intel
LOCATION: 5 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-27
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/US-Oregon-Hillsboro/CPU-Formal-Verification-Engineer_JR0281353
EXCERPT: CPU Formal Verification Engineer 5 Locations posted: Posted 16 Days Ago
---
TITLE: Formal Verification Engineer
EMPLOYER: NVIDIA Corporation
LOCATION: 2 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/India-Bengaluru/Formal-Verification-Engineer_JR2017178
EXCERPT: Formal Verification Engineer 2 Locations posted: Posted 30+ Days Ago
---
TITLE: Senior AI Formal Verification Engineer
EMPLOYER: NVIDIA Corporation
LOCATION: 3 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-AI-Formal-Verification-Engineer_JR2014840
EXCERPT: Senior AI Formal Verification Engineer 3 Locations posted: Posted 30+ Days Ago
---
TITLE: Senior Formal Verification Engineer - LPU
EMPLOYER: NVIDIA Corporation
LOCATION: 6 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-26
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Remote/Senior-Formal-Verification-Engineer---LPU_JR2016647
EXCERPT: Senior Formal Verification Engineer - LPU 6 Locations posted: Posted 17 Days Ago
---
TITLE: Senior Formal Verification Engineer – AI SoC Development
EMPLOYER: Intel
LOCATION: 4 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196
EXCERPT: Senior Formal Verification Engineer – AI SoC Development 4 Locations posted: Posted 30+ Days Ago
---
TITLE: Senior Principal Jasper Formal Verification AE
EMPLOYER: Cadence Design Systems, Inc.
LOCATION: 2 Locations (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-27
K401_MATCH: yes (not source-backed)
APPLY_URL: https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BOSTON-01/Jasper-Formal-Verification---Sr-Principal-Application-Engineer_R54482
EXCERPT: Senior Principal Jasper Formal Verification AE 2 Locations posted: Posted 16 Days Ago
---
TITLE: CPU Formal Verification Lead
EMPLOYER: Intel
LOCATION: India, Bangalore (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/CPU-Formal-Verification-Lead_JR0281746
EXCERPT: CPU Formal Verification Lead India, Bangalore posted: Posted 30+ Days Ago
---
TITLE: Senior Formal Verification Engineer
EMPLOYER: Waymo
LOCATION: Mountain View, CA, USA (unspecified)
SALARY: $204K-$259K
POSTED: 2026-02-09
APPLY_URL: https://careers.withwaymo.com/jobs?gh_jid=7593534
EXCERPT: Senior Formal Verification Engineer Mountain View, CA, USA Waymo is an autonomous driving technology company with the mission to be the world's most trusted driver. Since its start as the Google Self-Driving Car Project in 2009, Waymo has focused on building the Waymo Driver-The World's Most Experienced Driver™-to improve access to mobility while saving thousands of lives now lost to traffic crashes. The Waymo Driver powers Waymo's fully autonomous ride-hail service and can also be applied to a range of vehicle platforms and product use cases. The Waymo Driver has provided over ten million rider-only trips, enabled by its experience autonomously driving over 100 million miles on public roads and tens of billions in simulation across 15+ U.S. states. Waymo's Compute Team is tasked with a critical and exciting mission: We deliver the compute platform responsible for running the fully autonomous vehicle's software stack. To achieve our mission, we architect and create high-performance custom silicon; we develop system-level compute architectures that push the boundaries of performance, power, and latency; and we collaborate closely with many other teammates to ensure we design and optimize hardware and software for maximum performance. We are a multidisciplinary team seeking curious and talented teammates to work on one of the world's highest performance automotive compute platforms. This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You will: - Define and drive formal strategy for first-pass silicon success. Own the formal verification sign-off approach across complex IP and SoC
---
TITLE: Channel Account Specialist
EMPLOYER: Formal
LOCATION: San Francisco (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/7e7ea2d2-c07e-447c-8f74-6da8b8fefa94
EXCERPT: Channel Account Specialist San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE As our Channel Account Specialist, you will play a crucial role in shaping Formal's relationships with channel partners. You'll work closely with our product, sales, and leadership teams to develop and execute partner strategies that drive growth and establish Formal as a leader in the data security space. WHAT YOU'LL DO - Strategic Planning: Develop and implement a comprehensive channel strategy to drive revenue growth and expand the partner ecosystem. - Partner Recruitment: Identify, recruit, and onboard new channel partners, including resellers, distributors, and strategic alliances. - Relationship Management: Build and maintain strong, long-term relationships with key partners, serving as the primary point of contact and advocate for their needs. - Sales Enablement: Provide partners with the necessary tools, training, and resources to effectively sell and support
---
TITLE: Application Engineering Intern – AI-based Formal Verification (f/m/d)
EMPLOYER: Cadence Design Systems, Inc.
LOCATION: FELDKIRCHEN (Munich) (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-11
K401_MATCH: yes (not source-backed)
APPLY_URL: https://cadence.wd1.myworkdayjobs.com/External_Careers/job/FELDKIRCHEN-Munich/Application-Engineering-Intern---AI-based-Formal-Verification--f-m-d-_R55106-1
EXCERPT: Application Engineering Intern – AI-based Formal Verification (f/m/d) FELDKIRCHEN (Munich) posted: Posted Yesterday
---
TITLE: Senior Chip Design Engineer, Formal Verification
EMPLOYER: NVIDIA Corporation
LOCATION: Israel, Tel Aviv (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-Chip-Design-Engineer--Formal-Verification_JR2017792
EXCERPT: Senior Chip Design Engineer, Formal Verification Israel, Tel Aviv posted: Posted 30+ Days Ago
---
TITLE: Formal Equivalence Checking Methodology Engineer
EMPLOYER: NVIDIA Corporation
LOCATION: US, CA, Santa Clara (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Equivalence-Checking-Methodology-Engineer_JR2012115
EXCERPT: Formal Equivalence Checking Methodology Engineer US, CA, Santa Clara posted: Posted 30+ Days Ago
---
TITLE: Senior Firmware Verification Engineer (Formal Methods) (m/f/d)
EMPLOYER: NXP Semiconductors
LOCATION: Gratkorn (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792
EXCERPT: Senior Firmware Verification Engineer (Formal Methods) (m/f/d) Gratkorn posted: Posted 30+ Days Ago
---
TITLE: Sr. Formal Verification Engineer, Annapurna Labs
EMPLOYER: Amazon
LOCATION: Cupertino, California, USA (unspecified)
SALARY: $183K-$248K
POSTED: 2025-10-30
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
FERTILITY_FAMILY_BUILDING_BENEFITS: yes (not source-backed)
ADOPTION_ASSISTANCE_OFFERED: yes (not source-backed)
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
CHILDCARE_SUBSIDY: yes (not source-backed)
APPLY_URL: https://www.amazon.jobs/en/jobs/3118542/sr-formal-verification-engineer-annapurna-labs
EXCERPT: Sr. Formal Verification Engineer, Annapurna Labs Cupertino, California, USA Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we're handling massive scale and rapid integration of emergent technologies. As a member of the Cloud-Scale Machine Learning Acceleration team you'll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost. Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work with block designers to gain deep micro-architectural understanding. - Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage reviews. - Promote assertions to simulation and contribute to overall simulation strategy. - Communicate and work with team members across multiple disciplines. About the team Inclusive Team Culture Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative
---
TITLE: SOC Formal Verification Engineer, HBM
EMPLOYER: Micron Technology, Inc.
LOCATION: Richardson, TX (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-21
K401_MATCH: yes (not source-backed)
APPLY_URL: https://micron.wd1.myworkdayjobs.com/External/job/Richardson-TX/SOC-Formal-Verification-Engineer--HBM_JR102414
EXCERPT: SOC Formal Verification Engineer, HBM Richardson, TX posted: Posted 22 Days Ago
---
TITLE: Research Software Engineer, Formal Methods (Hybrid)
EMPLOYER: Raytheon Technologies
LOCATION: 3 Locations (hybrid)
SALARY: Not disclosed
POSTED: 2026-05-12
PARENTAL_LEAVE_WEEKS: 4 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 4 (not source-backed)
K401_MATCH: yes (not source-backed)
APPLY_URL: https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650
EXCERPT: Research Software Engineer, Formal Methods (Hybrid) 3 Locations posted: Posted 30+ Days Ago
---
TITLE: Senior Director - Dress Casual
EMPLOYER: PVH Corp.
LOCATION: Amsterdam, NL (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://pvh.wd1.myworkdayjobs.com/PVH_Careers/job/Amsterdam-NL/Senior-Merchandising---Product-Development-Director_R56620
EXCERPT: Senior Director - Dress Casual Amsterdam, NL posted: Posted 30+ Days Ago
---
TITLE: Filing and Formalities IP Paralegal I
EMPLOYER: Gilead Sciences
LOCATION: United States - California - Foster City (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-27
K401_MATCH: yes (not source-backed)
APPLY_URL: https://gilead.wd1.myworkdayjobs.com/gileadcareers/job/United-States---California---Foster-City/Filing-and-Formalities-IP-Paralegal-I_R0051706-1
EXCERPT: Filing and Formalities IP Paralegal I United States - California - Foster City posted: Posted 16 Days Ago
---
TITLE: Application Engineer Manager – Formal Verification and Functional Simulation
EMPLOYER: Cadence Design Systems, Inc.
LOCATION: BELO HORIZONTE (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BELO-HORIZONTE/Application-Engineer-Manager---Formal-Verification-and-Functional-Simulation_R54474-1
EXCERPT: Application Engineer Manager – Formal Verification and Functional Simulation BELO HORIZONTE posted: Posted 30+ Days Ago
---
TITLE: ελληνικά - CY
EMPLOYER: L'Oréal
LOCATION: Location not specified (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://careers.loreal.com/el_CY/jobs/SearchJobs?keyword=operations&page=1
EXCERPT: ελληνικά - CY
---
TITLE: Senior Formal Verification Engineer, GPU Kernels
EMPLOYER: NVIDIA Corporation
LOCATION: US, CA, Santa Clara (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer--GPU-Kernels_JR2016917
EXCERPT: Senior Formal Verification Engineer, GPU Kernels US, CA, Santa Clara posted: Posted 30+ Days Ago
---
TITLE: Comptable H/F
EMPLOYER: Revvity
LOCATION: Pouilly En Auxois (IDS) (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-19
APPLY_URL: https://revvity.wd103.myworkdayjobs.com/External/job/Pouilly-En-Auxois-IDS/Comptable-H-F_JR-044486
EXCERPT: Comptable H/F Pouilly En Auxois (IDS) posted: Posted 24 Days Ago
---
TITLE: Comptable
EMPLOYER: Sysco
LOCATION: Paris Okabe (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://sysco.wd5.myworkdayjobs.com/syscocareers/job/Paris-Okabe/Comptable_R251895
EXCERPT: Comptable Paris Okabe posted: Posted Today
---
TITLE: ASIC Formal Verification Engineer, Google Cloud
EMPLOYER: Google
LOCATION: Sunnyvale, CA, USA (unspecified)
SALARY: $138K-$198K
POSTED: 2026-06-09
PARENTAL_LEAVE_WEEKS: 18 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 18 (not source-backed)
K401_MATCH: yes (not source-backed)
APPLY_URL: https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer
EXCERPT: ASIC Formal Verification Engineer, Google Cloud Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Formal Verification Engineer, you will contribute formal verification expertise to verify the digital designs, with a specific focus on TPU architecture and its integration within AI/ML- driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving force behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable
---
TITLE: Quality Auditor Sewing
EMPLOYER: Adient PLC
LOCATION: Adient Tiflet Morocco (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
APPLY_URL: https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714
EXCERPT: Quality Auditor Sewing Adient Tiflet Morocco posted: Posted 30+ Days Ago
---
TITLE: F&B Attendant (Banquets) - Casual
EMPLOYER: Marriott
LOCATION: Location not specified (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
APPLY_URL: https://careers.marriott.com/f-b-attendant-banquets-casual/job/B804DF615BE255821A618A698CA9F524?utm_source=marriottcareers&utm_medium=referralwebsite
EXCERPT: F&B Attendant (Banquets) - Casual Location not specified
---
TITLE: Supervisor, Quality Assurance
EMPLOYER: Flowserve
LOCATION: Rio de Janeiro, Brazil (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://flowserve.wd1.myworkdayjobs.com/applied/job/Rio-de-Janeiro-Brazil/Supervisor--Quality-Assurance_R-19250-1
EXCERPT: Supervisor, Quality Assurance Rio de Janeiro, Brazil posted: Posted 30+ Days Ago
---
TITLE: GPU Formal Design Verification Engineer
EMPLOYER: Apple
LOCATION: Austin, United States of America (unspecified)
SALARY: Not disclosed
POSTED: 2026-02-13
K401_MATCH: yes (not source-backed)
APPLY_URL: https://jobs.apple.com/en-us/details/200646295/gpu-formal-design-verification-engineer?team=HRDWR
EXCERPT: GPU Formal Design Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You'll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices! The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design. In this role you will: - Work with the design team to review and enhance specifications. - Develop verification plans in coordination with design leads, verification leads and micro-architects. - Develop and drive to completion formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams. - Handle deliverables and work with multi-functional teams to support product requirements. - Create automated flows and infrastructure for formal verification. - Work with other block and core level engineers to ensure seamless verification flow. Minimum Qualifications: BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience. Experience with CPU or GPU design architectures, VLSI circuits, and digital logic
---
TITLE: BALENCIAGA - Internal Communication Officer Apprentice - September 2026 (F/M)
EMPLOYER: Kering
LOCATION: Paris, France (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://careers.kering.com/careers/job/563705891612027
EXCERPT: BALENCIAGA - Internal Communication Officer Apprentice - September 2026 (F/M) Paris, France
---
TITLE: Principal Applied Scientist, Automated Reasoning
EMPLOYER: Amazon
LOCATION: Seattle, Washington, USA (unspecified)
SALARY: $199K-$269K
POSTED: 2026-03-13
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
FERTILITY_FAMILY_BUILDING_BENEFITS: yes (not source-backed)
ADOPTION_ASSISTANCE_OFFERED: yes (not source-backed)
SURROGACY_ASSISTANCE_OFFERED: yes (not source-backed)
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
CHILDCARE_SUBSIDY: yes (not source-backed)
APPLY_URL: https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning
EXCERPT: Principal Applied Scientist, Automated Reasoning Seattle, Washington, USA We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. 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: - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java,
---
TITLE: Supervisor SHE
EMPLOYER: Weir Group
LOCATION: PE013 - MIN - Arequipa - Calle Ambrocio Vucetich (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
K401_MATCH: yes (not source-backed)
APPLY_URL: https://weir.wd3.myworkdayjobs.com/Weir_External_Careers/job/PE013---MIN---Arequipa---Calle-Ambrocio-Vucetich/Supervisor-SHE_R0037470
EXCERPT: Supervisor SHE PE013 - MIN - Arequipa - Calle Ambrocio Vucetich posted:
---
TITLE: Stylist
EMPLOYER: Estée Lauder Companies (The)
LOCATION: Bodrum,TR-48,Türkiye (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://elcompanies.eightfold.ai/careers/job/1168272256004
EXCERPT: Stylist Bodrum,TR-48,Türkiye
---
TITLE: Funeral Arranger - Union
EMPLOYER: Service Corporation International
LOCATION: PR - Bayamon (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://sci.wd5.myworkdayjobs.com/SCI/job/PR---Bayamon/Funeral-Arranger---Union_Req161281
EXCERPT: Funeral Arranger - Union PR - Bayamon posted: Posted 30+ Days Ago
---
TITLE: ASIC Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years
EMPLOYER: ThousandEyes
LOCATION: Bangalore, India (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-08
APPLY_URL: https://cisco.wd5.myworkdayjobs.com/Cisco_Careers/job/Bangalore-India/ASIC-Engineering-Technical-Leader---RTL-development--Verilog--SystemVerilog--VCS--Spyglass--CDC--Formal-verification----Exp---12--years_2013404/apply
EXCERPT: ASIC Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years Bangalore, India Join us as an ASIC Engineering Technical Leader and drive the development of cutting-edge enterprise and service provider solutions. Lead complex RTL design projects, mentor top talent, and shape the future of high-performance ASICs at Cisco SiliconOne. Make a significant impact in a world-class, innovative environment.
---
TITLE: ASIC Formal Verification Engineer, TPU Compute
EMPLOYER: Google
LOCATION: Sunnyvale, CA, USA (unspecified)
SALARY: $163K-$237K
POSTED: 2026-06-05
PARENTAL_LEAVE_WEEKS: 18 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 18 (not source-backed)
K401_MATCH: yes (not source-backed)
APPLY_URL: https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer
EXCERPT: ASIC Formal Verification Engineer, TPU Compute Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Formal Verification Engineer, you'll contribute formal verification expertise to verify complex digital designs with a specific focus on TPU architecture and its integration within AI/ML-driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving force behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to
---
TITLE: Aprendiz
EMPLOYER: Bold
LOCATION: Location not specified (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://bold.bamboohr.com/careers/59
EXCERPT: Aprendiz Aprendiz
---
TITLE: Distinguished Formal Verification
EMPLOYER: Astera Labs
LOCATION: San Jose, CA (unspecified)
SALARY: $230K-$285K
POSTED: 2026-02-23
K401_MATCH: yes (not source-backed)
APPLY_URL: https://job-boards.greenhouse.io/asteralabs/jobs/4664853005
EXCERPT: Distinguished Formal Verification San Jose, CA Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San Jose, California. As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare opportunity to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution. In this highly strategic role, you'll serve as Astera Labs' technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, leading efforts to catch critical corner-case bugs that traditional verification methods miss, while mentoring a global team of engineers and representing Astera Labs as a thought leader in the formal verification community. This position offers
---
TITLE: Software Formal Qualitative Testing (FQT) Engineer II
EMPLOYER: Raytheon Technologies
LOCATION: US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
PARENTAL_LEAVE_WEEKS: 4 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 4 (not source-backed)
K401_MATCH: yes (not source-backed)
APPLY_URL: https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025
EXCERPT: Software Formal Qualitative Testing (FQT) Engineer II US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord posted: Posted 30+ Days Ago
---
TITLE: Legal Counsel Junior (alle) I befristet 18 Monate (Elternzeitvertretung)
EMPLOYER: Michelin
LOCATION: Frankfurt / Main (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
APPLY_URL: https://michelinhr.wd3.myworkdayjobs.com/Michelin/job/Frankfurt--Main/Legal-Counsel_R-2026018931
EXCERPT: Legal Counsel Junior (alle) I befristet 18 Monate (Elternzeitvertretung) Frankfurt / Main posted: Posted 30+ Days Ago
---
TITLE: Vendeur à temps partiel (20 heures)
EMPLOYER: JD Sports
LOCATION: BRUXELLES (unspecified)
SALARY: Not disclosed
POSTED: 2026-03-27
APPLY_URL: https://job-boards.eu.greenhouse.io/jdsports/jobs/4824715101
EXCERPT: Vendeur à temps partiel (20 heures) BRUXELLES Êtes-vous... Vous êtes un mordu des baskets et vous souhaitez faire partie de la première organisation internationale de vente au détail de baskets et de vêtements de sport à la mode ? Alors nous vous cherchons pour faire la différence à JD Bruxelles Rue Neuve ! Quelles sont vos fonctions ? En tant que vendeur à temps partiel, vous et votre équipe êtes la force de JD Bruxelles Rue Neuve . Vous êtes formé(e) pour devenir un(e) spécialiste dans le département des chaussures, du textile et/ou du stock. Grâce à vos efforts, vous assurez un magasin soigné selon les directives de JD. Vous approvisionnez le magasin, munissez les produits d'étiquettes, veillez à ce que les remises et les compléments soient corrects et placez les produits les plus vendus au bon endroit dans le magasin. Votre service à la clientèle est de haut niveau et, en combinaison avec l'offre de produits de kiosque et d'entretien, vous atteindrez vos objectifs de vente. Grâce à vos efforts pour le client, vous atteignez non seulement vos propres objectifs, mais vous êtes en partie responsable du succès et de la croissance de votre magasin et de votre équipe. Nous recherchons les collègues suivants... - Être disponible pour 20 heures par semaine ; - Vous parlez couramment l'anglais ou d'autres langues internationales ; - Vous partagez notre passion pour les baskets et la mode ; - Vous avez de bonnes compétences en matière de vente et de service à
---
TITLE: Infirmier (F/H) - Agadir - Français - Expérimenté
EMPLOYER: Concentrix
LOCATION: MAR Agadir - Avenue Hassan II (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://cnx.wd1.myworkdayjobs.com/external_global/job/MAR-Agadir---Avenue-Hassan-II/Infirmier--F-H----Agadir---Franais---Expriment_R1738713
EXCERPT: Infirmier (F/H) - Agadir - Français - Expérimenté MAR Agadir - Avenue Hassan II posted: Posted Today
---
TITLE: Quality Assurance Supervisor
EMPLOYER: Hexcel
LOCATION: Spain - Parla (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-13
K401_MATCH: yes (not source-backed)
APPLY_URL: https://hexcel.wd5.myworkdayjobs.com/HexcelCareers/job/Spain---Parla/Quality-Assurance-Supervisor_R019993
EXCERPT: Quality Assurance Supervisor Spain - Parla posted: Posted 30 Days Ago
---
TITLE: Superviseur.eure, d'organisme technique acceptable (OTA) (Gatineau, Qc)/ Acceptable Technical Organization (ATO) Supervisor (Gatineau, Qc).
EMPLOYER: Textron
LOCATION: CA-Quebec-Gatineau (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
K401_MATCH: yes (not source-backed)
APPLY_URL: https://textron.taleo.net/careersection/textron/jobdetail.ftl?job=1534976&lang=en
EXCERPT: Superviseur.eure, d'organisme technique acceptable (OTA) (Gatineau, Qc)/ Acceptable Technical Organization (ATO) Supervisor (Gatineau, Qc). CA-Quebec-Gatineau
---
TITLE: Référent comptable
EMPLOYER: Sysco
LOCATION: Paris (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://sysco.wd5.myworkdayjobs.com/syscocareers/job/Paris/Rfrent-comptable_R241078
EXCERPT: Référent comptable Paris posted: Posted 30+ Days Ago
---
TITLE: Formal & Civilian Training Manager
EMPLOYER: Department of the Air Force
LOCATION: Holloman AFB, New Mexico (unspecified)
SALARY: $50K-$66K
POSTED: 2026-06-09
HIRE_STATES: NM
APPLY_URL: https://www.usajobs.gov:443/job/872305500
EXCERPT: Formal & Civilian Training Manager Holloman AFB, New Mexico Summary Click on "Learn more about this agency" button below to view Eligibilities being considered and other IMPORTANT information. Duties Summary: The primary purpose of this position is to perform technical and specialized support work in the execution of formal military training and civilian development programs for the installation. The incumbent applies established policies, procedures, and systems to process, coordinate, track, and document training actions. The position supports mission readiness by ensuring training requirements are accurately executed, recorded, and reported, while operating within defined guidelines and established authorities. Duties: Executes assigned formal military training actions by processing and monitoring training requests in accordance with established Air Force instructions and procedures. Performs general clerical and administrative tasks to support office operations. Maintains and updates training and education records for military and civilian personnel across multiple automated systems. Provides technical guidance and customer support to military members, civilians, supervisors, and unit training managers regarding formal training and civilian development processes. Education IF USING EDUCATION TO QUALIFY: If position has a positive degree requirement or education forms the basis for qualifications, you MUST submit transcripts with the application. Official transcripts are not required at the time of application; however, if position has a positive degree requirement, qualifying based on education alone or in combination with experience, transcripts must be verified prior to appointment. An accrediting institution recognized by the U.S. Department of Education must accredit education. Click here to check accreditation. FOREIGN EDUCATION: Education
---
TITLE: Supervisor(a) de Almacén Pt
EMPLOYER: Ingredion
LOCATION: Guadalajara, JAL (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-13
APPLY_URL: https://ingredion.wd1.myworkdayjobs.com/IngredionCareers/job/Guadalajara-JAL/Supervisor-a--de-Almacn-Pt_Req-37495
EXCERPT: Supervisor(a) de Almacén Pt Guadalajara, JAL posted: Posted 30 Days Ago
---
TITLE: Research Software Engineer, Formal Methods (Hybrid)
EMPLOYER: Pratt & Whitney
LOCATION: cambridge, Massachusetts, United States of America (hybrid)
SALARY: Not disclosed
POSTED: 2026-04-01
APPLY_URL: https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650/apply
EXCERPT: Research Software Engineer, Formal Methods (Hybrid) cambridge, Massachusetts, United States of America Date Posted. 2026-04-01Country. United States of AmericaLocation. US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type. Hybrid. U.S. Citizen, U.S. Person, or Immigration Status Re...
---
TITLE: Software Formal Qualitative Testing (FQT) Engineer II
EMPLOYER: Pratt & Whitney
LOCATION: tewksbury, Massachusetts, United States of America (onsite)
SALARY: Not disclosed
POSTED: 2026-04-10
APPLY_URL: https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply
EXCERPT: Software Formal Qualitative Testing (FQT) Engineer II tewksbury, Massachusetts, United States of America Date Posted. 2026-04-10Country. United States of AmericaLocation. US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 ConcordPosition Role Type. Onsite. U.S. Citizen, U.S. Person,...
---
TITLE: Senior Messtechniker (m/w/d)
EMPLOYER: Materion Corp
LOCATION: Balzers, LIE (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-02
K401_MATCH: yes (not source-backed)
APPLY_URL: https://materion.wd5.myworkdayjobs.com/Materion/job/Balzers-LIE/Teamleiter-Messtechnik_2026-R8078
EXCERPT: Senior Messtechniker (m/w/d) Balzers, LIE posted: Posted 10 Days Ago
---
TITLE: Welder - Experienced or with Formal Training
EMPLOYER: General Dynamics Electric Boat
LOCATION: North Kingstown, RI, US (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
K401_MATCH: yes (not source-backed)
MATCH_401K_PCT: 6
LEARNING_BUDGET_OFFERED: yes (not source-backed)
APPLY_URL: https://careers-gdeb.icims.com/jobs/19372/welder----experienced-or-with-formal-training/job
EXCERPT: Welder - Experienced or with Formal Training North Kingstown, RI, US Overview Do you have welding experience or training? If so, this is a great opportunity. Apply today to this welding position and become part of the welding team that takes pride in building the world's most advanced submarines! Welding experience or formal training required. Duties include but are not limited to the following: Welding on a wide variety of materials, using an ever-growing number of weld processes Welding structural assemblies using GMAW and SMAW during fabrication and installation of submarine construction Participation in continuous training in traditional, and new welding processes, using both conventional and state-of-the art equipment (Qualification required for each process) Use of pneumatic tools such as grinders, burr tools, wire brushes, etc. Oxy/fuel pre-heat and carbon/arc gouging as well as verifying weld size using weld gauges Reading and interpretation of weld symbols, technique sheets, and work packages Additional tasks as assigned Benefits include: Paid training Medical, Dental, & Vision 401K plan with up to 6% employer match Paid vacations and holidays Growth opportunities Shift Premium Health and Wellness Programs Commuter Van Service/RIPTA Tuition Reimbursement Programs Safety Boot Reimbursement Program This position in located at the Quonset Point Facility in North Kingstown, RI. Qualifications Required High school diploma or equivalent OR a minimum of 2 years related technical experience Welding experience or formal welding training Availa
---
TITLE: Youth Program Specialist
EMPLOYER: Department of the Air Force
LOCATION: Multiple Locations (unspecified)
SALARY: $52K-$112K
POSTED: 2025-09-29
HIRE_STATES: CA,OH
APPLY_URL: https://www.usajobs.gov:443/job/846781500
EXCERPT: Youth Program Specialist Multiple Locations Summary Click on "Learn more about this agency" button below for IMPORTANT additional information. The primary purpose of this position is to perform a variety of duties related to youth flight direction and administration and to complete development assignments and training outlined in the formal management trainee training and development plan. Duties Performs developmental assignments in the application of professional principles, techniques, methods, and procedures used to provide youth programs and services that meet community needs. Assists the Youth Center Director to ensure a safe, healthy, and comfortable environment exists in the Youth Programs facilities, grounds, playgrounds, and sports fields and that security and maintenance is monitored. Assists the Youth Center Director in managing appropriated funds (APF) and non-appropriated funds (NAF), and funds from other sources. Conducts special assignments in keeping with the formal training plan. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 3-year formal training plan with yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the United States Air Force. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of Education. Please submit copies
---
TITLE: Formal Verification Engineer, Annapurna Labs
EMPLOYER: Amazon
LOCATION: Cupertino, California, USA (unspecified)
SALARY: $136K-$184K
POSTED: 2026-05-19
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
FERTILITY_FAMILY_BUILDING_BENEFITS: yes (not source-backed)
ADOPTION_ASSISTANCE_OFFERED: yes (not source-backed)
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
CHILDCARE_SUBSIDY: yes (not source-backed)
APPLY_URL: https://www.amazon.jobs/en/jobs/10423920/formal-verification-engineer-annapurna-labs
EXCERPT: Formal Verification Engineer, Annapurna Labs Cupertino, California, USA Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we're handling massive scale and rapid integration of emergent technologies. As a member of the Cloud-Scale Machine Learning Acceleration team you'll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost. Responsibilities: - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work with block designers to gain deep micro-architectural understanding. - Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage reviews. - Promote assertions to simulation and contribute to overall simulation strategy. - Communicate and work with team members across multiple disciplines. About the team Inclusive Team Culture Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and
---
TITLE: Quotation Engineer - Italian Speaker
EMPLOYER: Eaton Corporation
LOCATION: Budapest, HUN, 1123 (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://eaton.eightfold.ai/careers/job/687234056834
EXCERPT: Quotation Engineer - Italian Speaker Budapest, HUN, 1123
---
TITLE: Conversation Designer (12 Month FTC)
EMPLOYER: Lloyds Banking Group
LOCATION: Edinburgh (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-08
APPLY_URL: https://lbg.wd3.myworkdayjobs.com/LBG_Careers/job/Edinburgh/Conversation-Designer--12-Month-FTC-_158047-2
EXCERPT: Conversation Designer (12 Month FTC) Edinburgh posted: Posted 4 Days Ago
---
TITLE: Research Scientist, AI, Formal and informal Reasoning
EMPLOYER: Meta
LOCATION: Paris, France (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-07
K401_MATCH: yes (not source-backed)
APPLY_URL: https://www.metacareers.com/jobs/2795534280796080/
EXCERPT: Research Scientist, AI, Formal and informal Reasoning Paris, France Meta is seeking a Research Scientist to join its Fundamental AI Research (FAIR) organization, focused on making significant advances in LLMs reasoning, using reinforcement learning, synthetic data generation and advanced scaffolding/agentic techniques, partially with a focus on formal and informal maths. You will have the opportunity to work with a broad and highly interdisciplinary team of scientists, engineers, and cross-functional partners, and will have access to cutting edge technology, important resources, and research facilities. Responsibilities: - Lead, collaborate, and execute on research that pushes forward the state of the art in reasoning research, with an initial focus on formal and informal mathematical reasoning - Work towards long-term high-stakes research goals, while identifying intermediate milestones - Directly contribute to experiments, including designing experimental details, implement reusable code, running evaluations, and organizing results - Contribute to publications and open-sourcing efforts - Mentor other team members. Play a significant role in healthy cross-functional collaboration Minimum qualifications: - Holds a PhD in the field of Computer Science, Mathematics, or similar quantitative field - Experience training and evaluating large models on State-of-the-Art codebases and developing new architectures, losses and training recipes - First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR) - Experience in training, fine-tuning, and/or experimenting with foundation models beyond black-box use - Experience working with SOTA Reinforcement Learning codebases and familiarity with one or more Machine Learning frameworks (e.g. pytorch, VERL, …) - Must obtain work authorization in the country of employment
---
TITLE: QUALITY ASSURANCE SUPERVISOR
EMPLOYER: Pilgrim's Pride
LOCATION: Location not specified (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-10
K401_MATCH: yes (not source-backed)
APPLY_URL: https://jobs.jobvite.com/pilgrims/job/onWcAfwP
EXCERPT: QUALITY ASSURANCE SUPERVISOR QUALITY ASSURANCE SUPERVISOR
---
TITLE: Industrieelektriker (m/w/d)
EMPLOYER: Avantor
LOCATION: Schwabmünchen, Germany (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-29
APPLY_URL: https://vwr.wd1.myworkdayjobs.com/avantorJobs/job/Schwabmnchen-DEU/Industrieelektriker--m-w-d-_R-169569/apply
EXCERPT: Industrieelektriker (m/w/d) Schwabmünchen, Germany By submitting candidates without having been formally assigned on and contracted for a specific job requisition by Avantor, or by failing to comply with the Avantor recruitment process, you forfeit an...
---
TITLE: Program analyst (Cyber Operations)
EMPLOYER: Department of the Air Force
LOCATION: Multiple Locations (unspecified)
SALARY: $51K-$118K
POSTED: 2025-09-29
HIRE_STATES: CO
APPLY_URL: https://www.usajobs.gov:443/job/846782200
EXCERPT: Program analyst (Cyber Operations) Multiple Locations Summary Click on "Learn more about this agency" button below for IMPORTANT additional information. The primary purpose of this position is to perform a variety of duties in the analysis and evaluation of cyber operations, and to complete developmental assignments and training outlined in the formal training and development plan. Duties Performs moderately difficult and complex assignments consisting of well precedented tasks to further orient the employee in the application of occupational and agency missions, policies, and objectives, as well as tactics, techniques, procedures. Incumbent determines the practices and procedures to use in accomplishing conventional tasks, and interprets and adapts guidelines in order to resolve procedural or factual issues. Carries out special projects and participates in special initiatives and studies. Prepare oral and written correspondence and other documentation. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a PALACE Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 2 or 3 year formal training plan with eligibility for yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the United States Air Force.This position has an education requirement. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of Education.
---
TITLE: QC Supervisor
EMPLOYER: OpenProse
LOCATION: Liberty View | OnSite (onsite)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/prose/d4cfc4cc-3c0e-40dc-b25f-302c60a95e51
EXCERPT: QC Supervisor Liberty View | OnSite Our Mission Prose is truly custom hair and skin care made-to-order-just for you. Our line of custom products are made by an in-house, Paris-based R&D team of gifted chemists who combine natural ingredients in innovative ways alongside dermatologists, giving consumers clean skin care, hair care and impeccable results. At the heart of Prose's success is Singular, its proprietary AI-powered beauty-tech platform, which has revolutionized personalized beauty at scale. Marrying a technology-driven approach with an apothecary-style concept, all Prose hair and skin care products are personalized to your one-of-a-kind hair, skin, goals and environment. We're a company that wants to change beauty practices, so we're changing the way beauty companies practice. As a certified B Corporation, a Public Benefit Corporation and Climate Neutral, we're proving that good business is always sustainable. With Prose, there's nothing sacrificed to bring you great products-not trees, materials, wages, or performance. PROSE & SINGULAR IN NUMBERS - Founded in 2017, with hubs in Paris, New York, and Los Angeles - 10M+ consultations completed - 2M customers and 350K active subscribers - 21M custom products made, with 1M+ unique formulas - 350+ team members across disciplines - $600M+ in lifetime sales, with $165M+ revenue in 2024 - Profitable since 2024 Discover our Company Culture on Welcome to the Jungle here https://www.welcometothejungle.com/en/companies/prose Discover our Company Mission & Vision in video here https://www.youtube.com/watch?v=TwLYulX9wBU Position Summary Prose is searching for a QC Supervisor who will ensure all products manufactured meet Prose's quality standards and
---
TITLE: Customer Service Specialist (m/w/d)
EMPLOYER: Avantor
LOCATION: N/A, Austria (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-02
APPLY_URL: https://vwr.wd1.myworkdayjobs.com/avantorJobs/job/AUTRemote/Customer-Service-Specialist--m-w-d-_R-172597/apply
EXCERPT: Customer Service Specialist (m/w/d) N/A, Austria By submitting candidates without having been formally assigned on and contracted for a specific job requisition by Avantor, or by failing to comply with the Avantor recruitment process, you forfeit an...
---
TITLE: Principal Product Manager, AWS Neurosymbolic AI
EMPLOYER: Amazon
LOCATION: Seattle, Washington, USA (unspecified)
SALARY: $181K-$245K
POSTED: 2026-05-13
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
FERTILITY_FAMILY_BUILDING_BENEFITS: yes (not source-backed)
ADOPTION_ASSISTANCE_OFFERED: yes (not source-backed)
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
CHILDCARE_SUBSIDY: yes (not source-backed)
APPLY_URL: 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.
---
TITLE: Supervisor(a) Sistema Contra Incendios - Antofagasta
EMPLOYER: Johnson Controls
LOCATION: Antofagasta-Antofagasta-Chile (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-11
K401_MATCH: yes (not source-backed)
APPLY_URL: https://jci.wd5.myworkdayjobs.com/JCI/job/Antofagasta-Antofagasta-Chile/Supervisor-a--Sistema-Contra-Incendios---Antofagasta_WD30271769
EXCERPT: Supervisor(a) Sistema Contra Incendios - Antofagasta Antofagasta-Antofagasta-Chile posted: Posted Yesterday
---
TITLE: 法令遵循人員 (Compliance AO)
EMPLOYER: Prudential plc
LOCATION: Taipei City (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-11
K401_MATCH: yes (not source-backed)
APPLY_URL: https://prudential.wd3.myworkdayjobs.com/prudential/job/Taipei-City/--Compliance-AO-_26060246
EXCERPT: 法令遵循人員 (Compliance AO) Taipei City posted: Posted Yesterday
---
TITLE: SAFETY ENGINEER
EMPLOYER: Department of the Air Force
LOCATION: Multiple Locations (unspecified)
SALARY: $92K-$115K
POSTED: 2025-10-01
HIRE_STATES: CA,GA,TX
APPLY_URL: https://www.usajobs.gov:443/job/850129400
EXCERPT: SAFETY ENGINEER Multiple Locations Summary The primary purpose of this position is to: Serve as an advanced trainee professional Safety Engineer, performing duties which are designed to progress the employee in the application of theories and principles to Safety Engineering assignments. This is a formal Air Force intern position, established under the Force Renewal/PALACE ACQUIRE (PAQ) program. This is a GS-07/GS-09 position developmental to the full performance grade level of GS-12. The intern receives formal and informal training. Duties Conduct inspections of operations and facilities where the type of hazard anticipated is low in nature and is predictable in advance. Conduct safety training, develop class schedules, maintain necessary records/data, maintain classroom equipment, facility, etc, under supervision of qualified personnel. Conduct portions of investigations of mishaps, and prepares and presents findings. Participate in established Air Force Occupational Safety Programs to Include Hazard Abatement, Confined Space, Ergonomics, etc. Conduct special assignments in keeping with the formal training plan. Education Recommended areas of study: A Degree in Safety or Occupational Health fields (Safety, Occupational Health, Industrial Hygiene), or degree in other related fields that included or supplemented by at least 24 semester hours of study from among the following (or closely related) disciplines; safety, occupational health, industrial hygiene, occupational medicine, toxicology, public health, mathematics, physics, chemistry, biological sciences, engineering, industrial psychology, and organizational psychology. This position has an education requirement. You MUST provide transcripts to support your educational claims. Education must be accredited by an accrediting institution recognized by the U.S. Department of
---
TITLE: MARINE MACHINERY MECHANIC TRAINING LEADER
EMPLOYER: Department of the Navy
LOCATION: Pearl Harbor Naval Base, Oahu, Hawaii (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-11
HIRE_STATES: HI
APPLY_URL: https://www.usajobs.gov:443/job/872737800
EXCERPT: MARINE MACHINERY MECHANIC TRAINING LEADER Pearl Harbor Naval Base, Oahu, Hawaii Summary You will serve as a MARINE MACHINERY MECHANIC TRAINING LEADER in the RESOURCES DEPTARTMENT TRAINING AND ADMINISTRATION - CODE 900T of PEARL HARBOR NSY AND IMF. Duties You will prepare and conduct formal classroom trade theory instruction for trade apprentices and helper/limited mechanics in the basic and advanced trade knowledge to include principles, concepts, terminology, processes and practices of the trade. You will schedule and coordinate classroom instruction and practical work experience. You will develop and review trade training plans. You will conduct formal instruction on trade equipment and material usage to develop good work habits, skilled workmanship abilities, and proper safety precautions. You will develop and administer formal and practical examinations commensurate with the trade training plan objectives. You will prepare and maintain training records and reports and maintain filing system of training records. You will prepare narrative and instructional material for use in filming and producing video tape presentations. You will assist with shipboard work where difficult jobs or first-time jobs require special attention. You will coordinate the High School and Community College Co-Op Program. Evaluation In order to qualify for this position, your resume must provide sufficient experience and/or education, knowledge, skills, and abilities, to perform the duties of the specific position for which you are being considered. Your resume is the key means we have for evaluating your skills, knowledge, and abilities, as they relate to this position. Therefore, we encourage you to be
---
TITLE: Comptable Général International - Senior
EMPLOYER: Exotec
LOCATION: Location not specified (unspecified)
SALARY: Not disclosed
POSTED: 2026-02-11
APPLY_URL: https://apply.workable.com/j/BEBCDEC4AA
EXCERPT: Comptable Général International - Senior
---
TITLE: Qualified Person
EMPLOYER: Baxter International
LOCATION: Dublin (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://baxter.wd1.myworkdayjobs.com/baxter/job/Dublin/Qualified-Person_JR-198269
EXCERPT: Qualified Person Dublin posted: Posted 30+ Days Ago
---
TITLE: Field Marketing Specialist
EMPLOYER: Formal
LOCATION: San Francisco | OnSite (onsite)
SALARY: Not disclosed
POSTED: 2026-06-10
APPLY_URL: https://jobs.ashbyhq.com/formal/d72a6665-da19-482e-9407-d3a3482cb167
EXCERPT: Field Marketing Specialist San Francisco | OnSite ABOUT FORMAL Formal is building the future of privilege access management - and we throw a great party while we're at it. From founder dinners in SF to conferences like RSA, our events are where we meet the security leaders who become our customers. We're hiring a Field Marketer to own that experience end-to-end. ABOUT THE ROLE A Field Marketing Specialist is a highly organized person who can do the hands-on work of managing logistics and online and offline details for projects taking place in person. This includes intimate dinners and lunches, meetups in our SF office, and large-scale conference programs (RSA, Black Hat, and the satellite events we host around them). This is a hands-on, high-ownership role. WHAT YOU'LL DO - Own the field marketing calendar - dinners, lunches, in-office meetups, conferences and satellite events - Run the full event lifecycle: venue and vendor sourcing, contracts, invites, registration, on-site execution, run pre- and post-event campaign motions to maximize attendance, engagement, follow-up, and conversion - Partner closely with sales and exec leadership to build guest lists, create targets and pipeline goals, and tell a story that lands with security and engineering buyers. - Track what works: attendance, pipeline influence and the qualitative signal that makes an event memorable. WHAT YOU NEED - Experience: 3-5 years of field marketing experience, preferably in B2B tech or cybersecurity, with demonstrated expertise in partner marketing strategies. - Communication Skills: Excellent written and verbal communication skills, with a
---
TITLE: Senior Product Manager, AWS Neurosymbolic AI
EMPLOYER: Amazon
LOCATION: Boston, Massachusetts, USA (unspecified)
SALARY: $152K-$206K
POSTED: 2026-05-14
PARENTAL_LEAVE_WEEKS: 6 (not source-backed)
NON_BIRTH_PARENT_LEAVE_WEEKS: 6 (not source-backed)
K401_MATCH: yes (not source-backed)
FERTILITY_FAMILY_BUILDING_BENEFITS: yes (not source-backed)
ADOPTION_ASSISTANCE_OFFERED: yes (not source-backed)
MENTAL_HEALTH_SUPPORT: yes (not source-backed)
CHILDCARE_SUBSIDY: yes (not source-backed)
APPLY_URL: 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.
---
TITLE: Funeral Arranger
EMPLOYER: Service Corporation International
LOCATION: CA - Murrietta (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://sci.wd5.myworkdayjobs.com/SCI/job/CA---Murrietta/Funeral-Arranger_Req161894-1
EXCERPT: Funeral Arranger CA - Murrietta posted: Posted 30+ Days Ago
---
TITLE: Consolideur Senior
EMPLOYER: Ipsen
LOCATION: Paris (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://ipsen.wd103.myworkdayjobs.com/Ipsen_Careers/job/Paris/Consolideur-Senior_R-20650-2
EXCERPT: Consolideur Senior Paris posted: Posted 30+ Days Ago
---
TITLE: LAW CLERK
EMPLOYER: Department of the Air Force
LOCATION: Multiple Locations (unspecified)
SALARY: $62K-$106K
POSTED: 2026-05-15
HIRE_STATES: AZ,CA,FL,MD,MS,NJ,OH,TX,UT
APPLY_URL: https://www.usajobs.gov:443/job/869537200
EXCERPT: LAW CLERK Multiple Locations Summary The primary purpose of this position is: This is a formal Law Clerk intern position, established under the PALACE ACQUIRE (PAQ) program; centrally managed and funded by the Air Force Personnel Center, Directorate of Civilian Personnel Operations (AFPC/DPC) and administered by the Legal Career Program, AFPC/DPZC, Joint Base San Antonio-Randolph, Texas. Duties - Assists military and civilian attorneys in rendering legal advice and litigating matters which may involve government contracts, labor and employment, environmental law, torts, administrative law, legal assistance and other areas in support of Air and Space Force missions and personnel. - Drafts and edits legal opinions and memoranda, motions, discovery documents, briefs, and other documents under the supervision of senior attorneys. - With assistance from other attorneys, performs other duties as assigned in support of the work of the Office of the Staff Judge Advocate. Education The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. The program offers a 2-year formal training plan with yearly salary increases. Promotions and salary increases are based upon your successful performance and supervisory approval. This is your opportunity to begin a successful civilian career with the Department of the Air Force. You must have completed a full course of study in a school of law accredited by the American Bar Association (ABA) AND must have
---
TITLE: SUPERVISORY ENVIRONMENTAL PROTECTION SPECIALIST
EMPLOYER: Department of the Army
LOCATION: Santa Fe, New Mexico (unspecified)
SALARY: $90K-$118K
POSTED: 2026-05-28
HIRE_STATES: NM
APPLY_URL: https://www.usajobs.gov:443/job/870920500
EXCERPT: SUPERVISORY ENVIRONMENTAL PROTECTION SPECIALIST Santa Fe, New Mexico Summary THIS IS A NATIONAL GUARD TITLE 32 EXCEPTED SERVICE POSITION. NEW MEXICO ARMY NATIONAL GUARD NATIONWIDE. All members of the New Mexico Army National Guard or current Active Duty/Reserve military members eligible and wiling to become members of the New Mexico Army National Guard This National Guard position is for a SUPERVISORY ENVIRONMENTAL PROTECTION SPECIALIST, Position Description Number D0964000 and is part of the NM CFMO, National Guard. Duties This position is located in the Environmental Management Branch of the State Army National Guard (ARNG) Headquarters. Serves as the State ARNG Environmental Program Manager with responsibility for supervising and managing the state environmental program in conformance with Federal, state, and local rules and regulations. Serves as the focal point and technical expert to the Adjutant General; and provides advisory services to all units within the state regarding National Environmental Policy Act (NEPA), Installation Restoration Program (IRP), Air Quality, Water Quality, Hazardous Waste Management and various other environmental programs. Assigns, directs and reviews the work of state and/or technician personnel. Determines proper work methods and procedures, sets performance standards, and makes formal appraisal of assigned personnel work performance. Prepares formal requests for filling vacancies and selects or participates in the selection of personnel from lists of eligible applicants. Approves and disapproves leave. Formulates and conducts training programs for assigned personnel and conducts informal training to broaden employee skills. Prepares formal requests and recommendations for promotion, incentive awards, reassignments, and disciplinary actions. Responsible
---
TITLE: Werkstudent*in (Alle)
EMPLOYER: Michelin
LOCATION: Bad Kreuznach (unspecified)
SALARY: Not disclosed
POSTED: 2026-05-20
APPLY_URL: https://michelinhr.wd3.myworkdayjobs.com/Michelin/job/Bad-Kreuznach/Werkstudent-in--Alle-_R-2026021003
EXCERPT: Werkstudent*in (Alle) Bad Kreuznach posted: Posted 23 Days Ago
---
TITLE: BALENCIAGA – Stagiaire Gestion des Achats des Composants Couture - Juillet 2026 (F/H)
EMPLOYER: Kering
LOCATION: Paris, France (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-12
K401_MATCH: yes (not source-backed)
APPLY_URL: https://careers.kering.com/careers/job/563705890953127
EXCERPT: BALENCIAGA – Stagiaire Gestion des Achats des Composants Couture - Juillet 2026 (F/H) Paris, France
---
TITLE: (Sr) Safety Scientist/Associate Safety Director
EMPLOYER: Roche Holding AG
LOCATION: Beijing, Beijing, China's Mainland (unspecified)
SALARY: Not disclosed
POSTED: 2026-06-05
APPLY_URL: https://roche.wd3.myworkdayjobs.com/roche-ext/job/Beijing/XMLNAME--Sr--Safety-Scientist-Associate-Safety-Director_202601-101801/apply
EXCERPT: (Sr) Safety Scientist/Associate Safety Director Beijing, Beijing, China's Mainland Performing medical practice impact assessments in the context of product quality safety issues (e.g. as part of defined activities outlined in PT-managed processes that require formal assessment by me...
---

[PASTE YOUR RESUME OR SKILLS HERE]