Lean 4 Proof Engineer - Seattle

We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean. · We will work on proofs that often lie beyond the current capabilities of automated provers, helping us map the frontier of what ...

Design architect lead and build proof of concepts in AWS/ · Azure cloud. · Closely work with a team of architects engineers and developers to create functional design specifications. · Lead develop best practices for larger cloud engineering team. Architect design and build proof ...

A senior project manager is required to lead construction projects in the Puget Sound region. · ...

We are seeking an experienced Azure Cloud Architect to design and build Proof of Concepts in AWS/Azure cloud. · Design and architect Cloud solutions. · Closely coordinate with DevOps team on additional cloud automation above the infrastructure layer. · ...

Role Cloud Architect Azure Design architect lead and build Proof of Concepts in AWS/Azure cloud. · Work closely with a team of architects engineers and developers to create functional design specifications. · BenefitsHelp to manage the planning implementation and growth of Teleco ...

Tamarack está buscando ingenieros fundadores para ejecutar una visión a largo plazo ambiciosa. · ...

SAFR from RealNetworks is seeking a Senior Sales Engineer to accelerate growth of the SAFR product line across biometric access control, facial recognition watchlist alerting, and intelligent camera solutions. · ...

SAFR from RealNetworks is seeking a Senior Sales Engineer to accelerate growth of the SAFR product line across biometric access control, facial recognition watchlist alerting, and intelligent camera solutions. · ...

Tamarack is a company that aims to future-proof the lumber industry by providing a comprehensive system of record for sawmills. · ...

We are seeking a hands-on quality assurance engineer with strong manufacturing, root-cause analysis, and quality systems experience.This hybrid Quality/Manufacturing role owns key elements of the Quality Management System (QMS), including Nonconformance Management... · ...

We are seeking a hands-on quality assurance engineer with strong manufacturing, root-cause analysis, and quality systems experience. · Bachelor's degree in Manufacturing, Mechanical, Biomedical or Industrial Engineering; or 8+ years of relevant experience. · 3+ years in a regulat ...

Partner Engineer at Pryon. · Good understanding of the AI landscape with hands-on experience with AI/ML technologies. · Proficiency in REST/GQL APIs, cloud-native architectures (Kubernetes) and modern DevOps tools. · ...

We are the Apple Services Engineering (ASE) Security Red Team. We focus on deep technical security review work of critical ASE services and infrastructure.We are growing our team and looking a Senior Security Engineer to lead deep reviews that identify meaningful security improve ...

· Senior Sales Engineer (Biometric Access Control & Watchlist Alerting) · Seattle, WA (Headquarters) | SAFR from RealNetworksCompany Overview · SAFR from RealNetworks is a unified ecosystem of face-based computer vision solutions designed for real-world performance. Built on dec ...

Senior Solutions Engineer at SAFR from RealNetworks responsible for accelerating growth of the SAFR product line across biometric access control, facial recognition watchlist alerting, and intelligent camera solutions. · Partner with Sales to own the technical strategy for large, ...

We're looking for a Solutions Engineer who blends technical expertise, customer empathy, and storytelling. · 4–6+ years in Solutions Engineering,Sales Engineering,Technical Consulting or Technical Presales. · Strong proficiency in SaaS architecture identity and IT integrations (S ...

Enter invoices in Enterprise 1 for Accounts Payable processing; maintain Access database for reporting of expenditures; Purchase Order and contract maintenance. · ...

We partner with leading AI research teams to build cutting-edge models. · Design advanced electrical engineering problems to test AI performance. · Create rigorous technical solutions for benchmarking AI learning. · Evaluate code and circuit diagrams for technical accuracy. · ...

SAFR is seeking a Senior Sales Engineer to accelerate growth of the SAFR product line across biometric access control, facial recognition watchlist alerting, and intelligent camera solutions. · ...

The OpportunityDo you love discovering customers' business challenges and crafting unique solutions for them? Are you ready for an opportunity to transform the way companies work? If you have a passion for Enterprise Cloud Technology and a knack for helping customers understand t ...