Lean 4 Proof Engineer - Seattle
1 month ago

Job description
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.
Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.
Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Access all high-level positions and get the job of your dreams.
Similar jobs
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 ...
2 weeks ago
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 ...
2 weeks ago
A senior project manager is required to lead construction projects in the Puget Sound region. · ...
2 days ago
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. · ...
2 weeks ago
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 ...
2 weeks ago
Tamarack está buscando ingenieros fundadores para ejecutar una visión a largo plazo ambiciosa. · ...
2 weeks ago
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. · ...
1 day ago
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. · ...
1 day ago
Tamarack is a company that aims to future-proof the lumber industry by providing a comprehensive system of record for sawmills. · ...
2 weeks ago
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... · ...
1 month ago
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 ...
4 days ago
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. · ...
1 day ago
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 ...
1 month ago
· 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 ...
5 hours ago
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, ...
1 day ago
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 ...
1 month ago
Enter invoices in Enterprise 1 for Accounts Payable processing; maintain Access database for reporting of expenditures; Purchase Order and contract maintenance. · ...
1 week ago
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. · ...
1 month ago
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. · ...
11 hours ago
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 ...
1 month ago