Proof Of Play jobs

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

Yard Spotter Greco Arizona posted: Posted 30+ Days Ago

Senior Solutions Engineer - Singapore Singapore About the Job: As a Senior Solutions Engineer , you will be the technical partner to Account Executives, helping LaunchDarkly land and expand enterprise customers across the Singapore Market You will guide technical discovery, deliver compelling demonstrations, lead proof-of-value engagements, and help customers understand how LaunchDarkly enables safer, faster software delivery. This role combines deep technical expertise with strong business acumen and the ability to translate complex technology into real business outcomes. You'll work closely with engineering leaders, architects, and DevOps teams at large enterprises to help them modernize their software delivery practices. Responsibilities: Partner with Sales to Win Enterprise Deals - Work closely with Account Executives to qualify opportunities and develop technical account strategies. - Help customers understand how feature management and progressive delivery can transform software delivery. - Participate in complex enterprise sales cycles and help secure technical wins. Lead Technical Discovery and Solution Design - Engage with engineering leaders, platform teams, and architects to understand their software delivery challenges. - Design solutions that demonstrate how LaunchDarkly integrates into modern development environments. - Align technical solutions with customer business objectives. Deliver High-Impact Demos and Proof of Value - Conduct compelling product demonstrations that highlight real customer value. - Lead technical evaluations including proof-of-concepts, workshops, and hands-on trials . - Guide customers through the evaluation process and ensure successful outcomes. Build Champions and Trusted Relationships - Develop strong relationships with both technical and business stakeholders. - Enable customer champions who can advocate for

Athlete III Beijing, China Mainland posted: Posted 30+ Days Ago

Pure Mathematics Specialist – Freelance AI Trainer Project World Wide - Remote Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow's AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI. We're looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language. On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures, and translate this material to successfully build in .lean syntax. You will also collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of our operations. Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal. A strong command of core areas is required, and applicants should be comfortable with topics such as Markov's and Chebyshev's inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem,

Delivery Driver(05982) - 5842 Goodman Rd Horn Lake, MS, United States Company Description: Drivers earn tips and mileage ($2.50) paid daily. Average driver makes $15 to $20 per hour. All shifts are available. Job Description: 18 years of age with two year driving history Valid driver's license & proof of liability insurance. Must bring declaration page to interview. Must have own vehicle and a safe driving record. Required to work weekends, holidays & late nights. Flexible hours based on working at least one weekend day/night. Now Hiring Delivery Drivers, Part-time hours with a clean vehicle and pleasant appearance. Qualifications: No previous experience needed, just a 2 year safe driving history! And proof in insurance on your vehicle. Additional Information: All your information will be kept confidential according to EEO guidelines.

Non-Sports Manager, Predictions Operations

CDL A Yard Spotter Sysco Northern New England posted: Posted Yesterday

Practice Customer Engineer, Migrations, Google Cloud Gurugram, Haryana, India; +3 more The Google Cloud Platform team helps customers transform and build what's next for their business - all with technology built in the cloud. Our products are developed for security, reliability and scalability, running the full stack from infrastructure to applications to devices and hardware. Our teams are dedicated to helping our customers - developers, small and large businesses, educational institutions and government agencies - see the benefits of our technology come to life. As part of an entrepreneurial team in this rapidly growing business, you will play a key role in understanding the needs of our customers and help shape the future of businesses of all sizes use technology to connect with customers, employees and partners. As a Practice Customer Engineer (CE) with a specialty in Infrastructure Migrations, you will partner with technical Sales teams and other CEs to differentiate Google Cloud to our customers. You will serve as a technical expert responsible for accelerating technical wins for the migration of complex, enterprise workloads, in partnership with platform CEs, Google Cloud Consulting, and partners. You will leverage your deep expertise in our most strategic product areas to direct migrating pilot workloads as proofs-of-concept and demos to sell complex migrations of large enterprise workloads to customers. You will solve migration-centered customer challenges and provide a critical feedback loop to influence customers, partners and product development. You will have excellent organizational, communication, and presentation skills, engaging with customers to understand their

Principal Engineer - IP Verification Noida posted: Posted Today

VIP Relationship Manager Australia; Sydney, New South Wales, Australia Who We Are At OKX, we believe that the future will be reshaped by crypto, and ultimately contribute to every individual's freedom. OKX is a leading crypto exchange, and the developer of OKX Wallet, giving millions access to crypto trading and decentralized crypto applications (dApps). OKX is also a trusted brand by hundreds of large institutions seeking access to crypto markets. We are safe and reliable, backed by our Proof of Reserves. Across our multiple offices globally, we are united by our core principles: We Before Me , Do the Right Thing , and Get Things Done . These shared values drive our culture, shape our processes, and foster a friendly, rewarding, and diverse environment for every OK-er. About the Opportunity We are looking for a dedicated and proactive VIP Relationship Manager to join our Australian Strategic Markets team. As a VIP Relationship Manager, you will play a key role in expanding our base of VIP clients in Australia. This role is focused on high net worth individuals, family offices and smaller corporate clients, driving our growth through partnerships and key client development in parallel to our institutional team, which on the other hand focuses on larger professional, enterprise and institutional clients. What You'll Be Doing - Primary goal: maximize revenue in the region through onboarding and retention of VIP clients - Formulate an AUM strategy and revenue optimization based on the product offering of OKX in Australia - Work closely

Financial Examiner Remote posted: Posted 30+ Days Ago

Product Manager / Director, User Growth Hong Kong, Hong Kong SAR OKX will be prioritising applicants who have a current right to work in Hong Kong, and do not require OKX's sponsorship of a visa. Who We Are At OKX, we believe that the future will be reshaped by crypto, and ultimately contribute to every individual's freedom. OKX is a leading crypto exchange, and the developer of OKX Wallet, giving millions access to crypto trading and decentralized crypto applications (dApps). OKX is also a trusted brand by hundreds of large institutions seeking access to crypto markets. We are safe and reliable, backed by our Proof of Reserves. Across our multiple offices globally, we are united by our core principles: We Before Me , Do the Right Thing , and Get Things Done . These shared values drive our culture, shape our processes, and foster a friendly, rewarding, and diverse environment for every OK-er. OKX is part of OKG, a group that brings the value of Blockchain to users around the world, through our leading products OKX, OKX Wallet, OKLink and more. About The Opportunity Our mission is to drive user growth and engagement by delivering innovative campaign features, building robust task platforms, and unlocking growth through diversified channel strategies - including SEO , ASO , affiliate, referral, and paid acquisition. As a senior PM, you will play a key role in shaping product direction, driving cross-functional collaboration, and elevating the team's capabilities to new heights. What You'll Be Doing Drive

UI Engineer India posted: Posted Today

VIP Relationship Manager, OKX Brazil São Paulo, Brazil Who We Are At OKX, we believe that the future will be reshaped by crypto, and ultimately contribute to every individual's freedom. OKX is a leading crypto exchange, and the developer of OKX Wallet, giving millions access to crypto trading and decentralized crypto applications (dApps). OKX is also a trusted brand by hundreds of large institutions seeking access to crypto markets. We are safe and reliable, backed by our Proof of Reserves. Across our multiple offices globally, we are united by our core principles: We Before Me , Do the Right Thing , and Get Things Done . These shared values drive our culture, shape our processes, and foster a friendly, rewarding, and diverse environment for every OK-er. OKX is part of OKG, a group that brings the value of Blockchain to users around the world, through our leading products OKX, OKX Wallet, OKLink and more. About the Opportunity As a Sr. VIP Relationship Manager, you will play a key role in expanding our base of VIP clients in Brazil. This role is focused on high net worth individuals, family offices and smaller corporate clients, driving our growth through partnerships and key client development. What You'll Be Doing - Primary goal: maximize revenue in the region through onboarding and retention of VIP clients - Formulate an AUM strategy and revenue optimization based on the product offering of OKX - Work closely with the local executive leadership team to contribute to the overall

Customer Engineer IV, Platform, FinServ, Google Cloud New York, NY, USA The Google Cloud Platform team helps customers transform and build what's next for their business - all with technology built in the cloud. Our products are developed for security, reliability and scalability, running the full stack from infrastructure to applications to devices and hardware. Our teams are dedicated to helping our customers - developers, small and large businesses, educational institutions and government agencies - see the benefits of our technology come to life. As part of an entrepreneurial team in this rapidly growing business, you will play a key role in understanding the needs of our customers and help shape the future of businesses of all sizes use technology to connect with customers, employees and partners. As a Platform Customer Engineer (CE), you will partner with technical Sales teams to differentiate Google Cloud to our customers. You will serve as the customer's primary technical partner and trusted advisor, engaging in technical-led conversations to understand their business issues. You will troubleshoot technical questions and roadblocks, engage in proofs of concepts and demos, and use your expertise to architect cross-pillar cloud solutions that solve these business issues. You will drive the technical win and define the delivery and consumption plans. You will use your presentation skills to engage with technical and business leaders, and persuasively present practical and useful solutions on Google Cloud. You will have excellent technical, communication and organizational skills. You will focus on identifying, pursuing, and winning new

NOC Engineer Draper, UT posted: Posted 24 Days Ago

Platform Customer Engineer, Strategic AI and ISV Sunnyvale, CA, USA; +1 more The Google Cloud Platform team helps customers transform and build what's next for their business - all with technology built in the cloud. Our products are developed for security, reliability and scalability, running the full stack from infrastructure to applications to devices and hardware. Our teams are dedicated to helping our customers - developers, small and large businesses, educational institutions and government agencies - see the benefits of our technology come to life. As part of an entrepreneurial team in this rapidly growing business, you will play a key role in understanding the needs of our customers and help shape the future of businesses of all sizes use technology to connect with customers, employees and partners. As a Platform Customer Engineer (CE), you will partner with technical Sales teams to differentiate Google Cloud to our customers. You will serve as the customer's primary technical partner and trusted advisor, engaging in technical-led conversations to understand their business issues. You will troubleshoot technical questions and roadblocks, engage in proofs of concepts and demos, and use your expertise to architect cross-pillar cloud solutions that solve these business issues. You will drive the technical win and define the delivery and consumption plans. You will use your presentation skills to engage with technical and business leaders, and persuasively present practical and useful solutions on Google Cloud. You will have excellent technical, communication and organizational skills. You will focus on identifying, pursuing, and winning

Principal Engineer Verification Bangalore BTP (India)

Verkäufer (Athlete) (w/m/d) – 25-30H – NFS Parndorf Parndorf, Burgenland posted: Posted Yesterday

Principal/Senior Product Manager, AI and Agent Hong Kong, Hong Kong SAR OKX will be prioritising applicants who have a current right to work in Hong Kong, and do not require OKX's sponsorship of a visa. Who We Are At OKX, we believe that the future will be reshaped by crypto, and ultimately contribute to every individual's freedom. OKX is a leading crypto exchange, and the developer of OKX Wallet, giving millions access to crypto trading and decentralized crypto applications (dApps). OKX is also a trusted brand by hundreds of large institutions seeking access to crypto markets. We are safe and reliable, backed by our Proof of Reserves. Across our multiple offices globally, we are united by our core principles: We Before Me , Do the Right Thing , and Get Things Done . These shared values drive our culture, shape our processes, and foster a friendly, rewarding, and diverse environment for every OK-er. OKX is part of OKG, a group that brings the value of Blockchain to users around the world, through our leading products OKX, OKX Wallet, OKLink and more. About The Role We are looking for a customer-obsessed and hands-on experienced Product Manager to lead the strategy, development, and optimization of our AI and agent products. In this role, you will own the end-to-end product lifecycle, working cross-functionally with engineering, design, marketing, CRM, and analytics to build AI infra and application products/systems to support both. You will play a key role in driving user engagement, retention, and conversion

Application Engineer Job Location - Country Poland Location: Krakow, Poland (Hybrid) Position Summary: Bentley's Solution Engineering team partners with sales to showcase the value of Bentley solutions to infrastructure and utility companies worldwide. As an Application Engineer, you will help customers in the electric utilities industry solve complex business and engineering challenges by designing, positioning, and demonstrating integrated solutions across Bentley's portfolio, with a focus on overhead lines . Working closely with sales, product, and industry teams, you will understand customer objectives, define solution architectures, and deliver technical presentations, demos, workshops, training, and support aligned with utility workflows and industry standards. You will play a key role in driving customer success, product adoption, and ARR growth while helping utilities plan, design, and deliver critical transmission and distribution infrastructure projects. Responsibilities: Promote Bentley solutions to infrastructure audiences, demonstrating value to designers, engineers, architects, contractors, and owners to help achieve business goals. Lead technical discovery engagements to understand business goals, engineering requirements, and enterprise workflows. Design and position integrated solution architectures for electric utilities, aligning workflows with user objectives. Develop and deliver demos, presentations, workshops, and proof-of-value scenarios for users, prospects, and internal stakeholders. Prepare datasets,

Developer Advocate – Reinforcement Learning 2 Locations posted: Posted 29 Days Ago

Principal Software Architect - Product Development Country India | Internal Posting Location Bangalore We help the world run better At SAP, we keep it simple: you bring your best to us, and we'll bring out the best in you. We're builders touching over 20 industries and 80% of global commerce, and we need your unique talents to help shape what's next. The work is challenging - but it matters. You'll find a place where you can be yourself, prioritize your wellbeing, and truly belong. What's in it for you? Constant learning, skill growth, great benefits, and a team that wants you to grow and succeed. What you will do We are looking for a Senior Engineer/ Software Architect for the development of backup-as-a-service features for 8000+ customers. You'll play a key role in designing, implementing, and scaling innovative backup and restore features based on hyper-scaler native functionality on almost all the major public cloud providers. Your responsibilities include: Driving end-to-end software development with a focus on quality, scalability, and performance. Low & high level design proposal/review including code reviews. Time to time - convincing stakeholders for the design and approach. Bring innovations and ideas for the betterment of product. Leading technical Proof of Concepts (PoCs) and transforming ideas into production-ready features on all the major public clouds. Being senior, you are expected to mentor engineers and fostering a culture of technical excellence. Ensuring features are operationally excellent, emphasizing observability, reliability, and scalability. This rol