Proof Trading jobs

Delivery Driver(01525) - 1717 Christy Dr. Jefferson City, MO, United States Company Description: Job Description: DRIVER Are you ready to be part of the action? Do you like money in your pocket? Domino's Pizza drivers are paid cash nightly, which includes: tips and mileage reimbursement! Our Driver position is an excellent place to start making money in the delivery business, exhibit great customer service and excel at making a great product ... Domino's Pizza! We are committed to promoting from within: most of our managers started as drivers! Take charge of your career in a Driver role and learn valuable skills you can take to other positions within Domino's Pizza! REQUIREMENTS Minimum age 18+ years old, Valid Driver's License with a 2 year good driving record, Reliable vehicle, Proof of Liability Insurance, Positive Attitude, Customer Service Oriented, Basic Math Skills. Must agree to a Background Test and Drug Test. Training - Orientation and training provided on the job. Qualifications: Additional Information: All your information will be kept confidential according to EEO guidelines.

Trader Shanghai Jump Trading Group is committed to world class research. We empower exceptional talents in Mathematics, Physics, and Computer Science to seek scientific boundaries, push through them, and apply cutting edge research to global financial markets. Our culture is unique. Constant innovation requires fearlessness, creativity, intellectual honesty, and a relentless competitive streak. We believe in winning together and unlocking unique individual talent by incenting collaboration and mutual respect. At Jump, research outcomes drive more than superior risk adjusted returns. We design, develop, and deploy technologies that change our world, fund start-ups across industries, and partner with leading global research organizations and universities to solve problems. Do you have a passion for trading? Fascinated by financial markets? Want to work on the front line of a world class trading firm? Want exposure to the best and brightest minds in the industry? Willing to be thrown into the deep end and see if you can swim? We are looking for a passionate trader based in Shanghai to join Jump's centralized trading team. This leads to extensive collaboration across many departments at Jump including, but not limited to, the trading teams themselves. You will develop the skills to fine-tune algorithmic strategies on-the-fly, manage risk, and debug challenging infrastructure issues. If you are eager to enter the trading world, this is a golden opportunity for an experienced trader, who can leverage their skills into a role that will have a bottom-line impact on a global level. What You'll Do: - Manage trading strategies

Distributed Systems Engineer New York, New York City, USA, Remote About Us Axiom is using zero-knowledge proofs to enable new types of verifiable and private software applications, starting with crypto and fintech. We are a small but incredibly strong team backed by the best investors in crypto . We're looking for exceptional people who are excited to work on challenging and impactful problems in a fast-paced environment. Our office is in NYC and working in person in NY is our strong preference, but we're open to remote candidates as well. We recently released OpenVM , a performant and modular zkVM framework built for customization and extensibility. OpenVM allows developers to verify the correct execution of arbitrary computer programs in a flexible and performant way. We are building ZK-enabled products using OpenVM and supporting teams building on OpenVM. The Role We are looking for a distributed systems engineer to join a startup using zero-knowledge proofs to scale smart contract applications. You will be responsible for building Rust-based rollup nodes and sequencers to deliver zero-knowledge proof based products on-chain. Your work will require designing secure and efficient systems and making design choices to enable rapid development without sacrificing security. We are looking for someone with strong engineering design skills, a security mindset, and the ability to design and implement blockchain protocols. We also value the ability to make pragmatic technology choices which empower our small team. Who you are - You are fluent in Rust, C++, or a similarly performant backend language.

Senior Customer-Led Growth Manager New York City | Hybrid | Remote Turn 45+ partnerships into incredible customer case studies. Run the campaigns that convert that proof into demand and pipeline. ABOUT LATENT Latent Health is the leading pharmacy intelligence platform. We're an AI company changing healthcare from the inside. More patients getting their medications. Pharmacy operations that finally make economic sense. Work that used to take days, now done in minutes. We're live in 45+ health systems, including 50% of the top 20: Yale, Ochsner, Vanderbilt, UCSF, Mount Sinai. Over 2 million patients a year access medications faster because of us. Denials down 30%+. Clinicians serving 2x more patients. At Ochsner, pharmacists processing 96% more per FTE, every month. We've raised $80M from Spark Capital, Transformation Capital, McKesson Ventures, Conviction, General Catalyst, and Y Combinator. Our marketing team is AI-native to the core. Every operator gets the latest models on day one, and we run advanced AI workflows that let a small team ship at a scale and pace traditional companies can't match. What makes us different: we treat marketing and creative like engineering. THE ROLE We've built 45+ partnerships across the top health systems in America. Faster medication access, more patients served, denials dropping. The wins are happening. The stories haven't caught up. That's the job. Turn our customer base into the most cited proof bank in healthcare AI, and run the campaigns that convert that proof into pipeline. A hybrid role between customer marketing and demand gen. This

Operations Specialist (Crypto) Sydney, Australia Your core responsibilities: - Managing crypto and fiat trade settlements - including communicating with internal and external stakeholders to ensure timely and accurate settlements. - Trade and settlements reconciliation from post trade to settlement to ensure correct and timely settlement. - Keeping track of asset inventory and liaising with the Trading and Finance teams to ensure it is in-line with upcoming settlement requirements. - Whitelisting of crypto addresses across multiple trading venues and counterparties; across multiple venues and custody platforms. - Managing & adding new banking beneficiaries and being responsible for broader banking services (including managing cut-off times, fees etc). - Overseeing and helping enhance the collection, documentation and organising of external counterparty-related trade data. Your skills and experience: - At least 3 years of prior experience in crypto trading operations, in particular related to settlements and trading reconciliation. - Outstanding attention to detail and analytical skills. - Strong Excel skills and ability to reconcile and track asset balances. - Familiarity with operations / settlements tools and services used in Crypto - Nice to have: familiarity with Python, SQL languages and/or experience querying database trade data and generating reports and dashboard. - Excellent verbal and written communication skills in English. - Team player and self-starter, with an entrepreneurial mindset. About Us IMC is a global trading firm powered by a cutting-edge research environment and a world-class technology backbone. Since 1989, we've been a stabilizing force in financial markets, providing essential liquidity upon which market participants

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

APAC Algo Trading Low Latency FPGA/C++ Developer Join a high-performance team building ultra-low latency trading systems where nanoseconds matter. You'll design and implement a trading rules engine for real-time controls using a hybrid of FPGA hardware and high-performance C++, enabling deterministic execution and rapid interaction with the markets. • Design and implement real-time trading rules and risk checks using FPGA (Verilog/VHDL) or C++. • Architect cycle-accurate FPGA designs and high-speed network interfaces (10/25/40/100GbE, RoCEv2) is preferred. • Build simulation and verification frameworks for FPGA reliability. • Drive full FPGA design flow (synthesis, place & route, timing closure). • Interface C++ applications with FPGA hardware for real-time orchestration. • Implement lock-free data structures and concurrency control in Linux. • Build low-latency network apps using kernel bypass (e.g., Rivermax). • Analyze system performance and resolve latency bottlenecks. • Collaborate with global IT, Quants, and Traders across asset classes. • Provide Level 3 support for production systems.

Inside Sales Engineer, Italy 2 Locations 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

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,

Senior AI / ML Engineer Chicago, Illinois, United States Chicago Trading Company (CTC) is a premier proprietary trading firm specializing in options market making. Our collaborative culture fuels innovation in quantitative research, systematic trading strategies, and cutting-edge trading technology. For over three decades CTC has provided critical liquidity across derivatives exchanges worldwide - making them fairer, more transparent, and more efficient. We strive to be the most innovative firm in the industry today, tomorrow, and long into the future while upholding ethical excellence. We believe that CTC makes a positive impact on the markets, the lives of our employees, and all the communities to which we belong. Started in 1995 by a team of forward-thinking Traders, we are proud to call ourselves an industry leader that keeps making markets and each other better. We are seeking a Senior AI / ML Engineer to help define and build how CTC leverages AI across the firm. You will work closely with executive stakeholders to identify where AI creates real leverage for our engineers, quants, and traders, and then build it. The AI landscape is moving fast and the strategy needs to evolve with it - this role carries both the technical and strategic responsibility of figuring out what bets to make and executing on them. This role sits within our Developer Experience organization. WHAT YOU'LL DO - Partner with leadership to shape CTC's AI strategy as the space evolves. - Evaluate emerging AI technologies and make informed recommendations on what to adopt,

Shift Manager(06609) - 1509 S. Lamar Blvd. Austin, TX, United States Company Description: MAC Pizza is the largest Domino's franchise in Texas with stores in and around central and southeast Texas. MAC Pizza has created an extensive family of people passionate about pizza and we take PRIDE in everything we do. Apply today and become part of the MAC Pack Family! To learn more about MAC Pizza, check out https://macpizzarecruiting.com . Job Description: As a Domino's Pizza Shift Manager, your success is vital to our business. As you learn to lead a Team, you will receive training in the fundamentals of product quality, sanitation, interviewing, and hiring. In our fast-paced environment, you will learn the skills to "Conquer the Rush" and be trained in the important leadership skills needed to lead and develop teams. To learn more about what Shift Managers are responsible for, check out MAC Pizza - Shift Manager Job Description Qualifications: 18 yrs or older A valid US Driver's license 1 year or more of driving experience A safe driving record A dependable vehicle with proof of auto insurance A desire to lead people 1-2 years of management experience preferred Additional Information: All your information will be kept confidential according to EEO guidelines.

Trade Compliance FTA Analyst Piedras Negras, Coahuila, Mexico posted: Posted 30+ Days Ago

Shift Manager(06641) - 11336 Chimney Rock Houston, TX, United States Company Description: MAC Pizza is the largest Domino's franchise in Texas with stores in and around central and southeast Texas. MAC Pizza has created an extensive family of people passionate about pizza and we take PRIDE in everything we do. Apply today and become part of the MAC Pack Family! To learn more about MAC Pizza, check out https://macpizzarecruiting.com . Job Description: As a Domino's Pizza Shift Manager, your success is vital to our business. As you learn to lead a Team, you will receive training in the fundamentals of product quality, sanitation, interviewing, and hiring. In our fast-paced environment, you will learn the skills to "Conquer the Rush" and be trained in the important leadership skills needed to lead and develop teams. To learn more about what Shift Managers are responsible for, check out MAC Pizza - Shift Manager Job Description Qualifications: 18 yrs or older A valid US Driver's license 1 year or more of driving experience A safe driving record A dependable vehicle with proof of auto insurance A desire to lead people 1-2 years of management experience preferred Additional Information: All your information will be kept confidential according to EEO guidelines.

Non-Agency CMBS Trading - Fixed Income Division - Analyst/Associate New York, New York, United States of America posted: Posted 7 Days Ago

Delivery Driver - Mt. View Anchorage, AK, United States Company Description: Job Description: Domino's is looking for reliable and friendly delivery drivers to join our team. As a Delivery Driver, you will be responsible for delivering pizzas and other food items to our customers in a timely and professional manner. Responsibilities: Safely and efficiently deliver orders to customers Provide exceptional customer service Follow all traffic laws and safe driving practices Help with in-store tasks when deliveries are not needed Maintain a clean and organized delivery vehicle Maintain a professional and positive attitude at all times Perform other duties as assigned Requirements: Must be at least 18 years old Valid driver's license with a good driving record Proof of insurance Reliable transportation Ability to work flexible hours, including nights and weekends Ability to work in a fast-paced environment Excellent customer service skills Ability to lift up to 50 pounds If you are a self-starter who enjoys working independently and being out on the road, we encourage you to apply for this exciting opportunity to join the Domino's team as a Delivery Driver. Qualifications: Additional Information: All your information will be kept confidential according to EEO guidelines.

Lead DevOps Engineer Redwood City, CA About Prove (acquired UnifyID) Prove is the modern platform for continuous identity authentication and is used by over 1,000 enterprises and 500 financial institutions, including 9 of the top 10 U.S. banks. Prove's cloud solutions, and mobile intelligence-driven APIs can be easily orchestrated to increase Approve Rates to over 90%, enabling companies to authenticate customer identities accurately, effortlessly, and privately while mitigating fraud. Prove's solutions are available in 195 countries. For the latest updates from Prove, follow us on LinkedIn. About the Role For UnifyID, a DevOps engineer is comfortable with setting up complex systems, maintaining high availability, monitoring and analyzing logs, ensuring firewall and security groups are tightly set, enforcing access control policies, and documenting and automating tasks for easier deployments in the future, Similar roles we would accept are: * System administrator (with orchestration experience) * Site-reliability engineer You should have a general idea and interest on how complex computer systems are orchestrated on AWS and Azure Cloud. A subset of Docker, Docker-compose, Docker-swarm, Kubernetes, Mesos experience required. Power-user experience with Linux or BSD flavors is a big plus. SUPERPOWERS

Shift Manager(06783) - 16001 S. Post Oak Houston, TX, United States Company Description: MAC Pizza is the largest Domino's franchise in Texas with stores in and around central and southeast Texas. MAC Pizza has created an extensive family of people passionate about pizza and we take PRIDE in everything we do. Apply today and become part of the MAC Pack Family! To learn more about MAC Pizza, check out https://macpizzarecruiting.com . Job Description: As a Domino's Pizza Shift Manager, your success is vital to our business. As you learn to lead a Team, you will receive training in the fundamentals of product quality, sanitation, interviewing, and hiring. In our fast-paced environment, you will learn the skills to "Conquer the Rush" and be trained in the important leadership skills needed to lead and develop teams. To learn more about what Shift Managers are responsible for, check out MAC Pizza - Shift Manager Job Description Qualifications: Driver's license with 2 years' experience if 18 or 1 year if 19 or older A safe driving record A dependable vehicle with proof of auto insurance A desire to lead people 1-2 years of management experience preferred Additional Information: All your information will be kept confidential according to EEO guidelines.

Quantamental Research Analyst Singapore Jump Trading Group is committed to world class research. We empower exceptional talents in Mathematics, Physics, and Computer Science to seek scientific boundaries, push through them, and apply cutting edge research to global financial markets. Our culture is unique. Constant innovation requires fearlessness, creativity, intellectual honesty, and a relentless competitive streak. We believe in winning together and unlocking unique individual talent by incentivizing collaboration and mutual respect. At Jump, research outcomes drive more than superior risk adjusted returns. We design, develop, and deploy technologies that change our world, fund start-ups across industries, and partner with leading global research organizations and universities to solve problems. Our trading teams are each comprised of a dynamic group of traders, quantitative researchers, and engineers who work together to examine the global markets, seeking to understand the complexities of various traded products and exchanges. They leverage their impeccable statistical analysis and data mining skills, using the results of their research to make forecasts and develop profitable predictive trading models. We are looking for a Quantamental Research Analyst with a passion for financial markets and a solid understanding on company fundamentals, who possesses a quantitative mindset to join our team in Singapore. What You'll Do: - Collaborate with quantitative traders globally in performing in depth research on ETF pricing and trading strategy - Analyze the fundamental implications of corporate actions and special situations; determine fair value and generate trade ideas - Improve dividend predictions and analyze their impact on equity indices and

DELIVERY DRIVER (02549) - 1605 M Street Bedford, IN, United States Company Description: Job Description: Are you ready to be part of the action!! Do you like money in your pocket? Domino's Pizza delivery drivers are paid cash nightly, which includes tips and mileage reimbursement! Our delivery driver position is an excellent place to start learning about the delivery business, customer service, and the creation of a great product...Domino's Pizza!! When it comes to listening to your own music and making cash tips nightly, collecting a paycheck, and receiving free pizza, you'll fall in love with our fast pace instantly! We are committed to promoting from within: most of our managers started as delivery drivers! Take charge of your career in a delivery driver role and learn valuable skills you can take to other positions within Domino's Pizza! Qualifications: 18+ years old, Valid Driver's, Proof of Liability, Insurance, must have at least 1 year of driving experience, Positive Attitude, Customer Service Oriented, Basic Math Skills Additional Information: We offer a range of flexible hours for you. This is perfect for a second job, a student, or someone looking for a career! Full-Time Part-Time Or Work as little as 1 day a week!

Axiom Consultant Bogota-Tinkko posted: Posted 30+ Days Ago

Delivery Driver - Southside Anchorage, AK, United States Company Description: Job Description: Domino's is looking for reliable and friendly delivery drivers to join our team. As a Delivery Driver, you will be responsible for delivering pizzas and other food items to our customers in a timely and professional manner. Responsibilities: Safely and efficiently deliver orders to customers Provide exceptional customer service Follow all traffic laws and safe driving practices Help with in-store tasks when deliveries are not needed Maintain a clean and organized delivery vehicle Maintain a professional and positive attitude at all times Perform other duties as assigned Requirements: Must be at least 18 years old Valid driver's license with a good driving record Proof of insurance Reliable transportation Ability to work flexible hours, including nights and weekends Ability to work in a fast-paced environment Excellent customer service skills Ability to lift up to 50 pounds If you are a self-starter who enjoys working independently and being out on the road, we encourage you to apply for this exciting opportunity to join the Domino's team as a Delivery Driver. Qualifications: Additional Information: All your information will be kept confidential according to EEO guidelines.

Software Engineer, Angular (B2C Web Platform) Barcelona, Spain Who we are We simplify wealth creation. Founded in 2014 in Vienna, Austria by Eric Demuth, Paul Klanschek and Christian Trummer, we're here to help people trust themselves enough to build their financial freedom - for now and the future. Our user-friendly, trade-everything platform empowers both first-time investors and seasoned experts to invest in the cryptocurrencies, crypto indices, stocks*, precious metals and commodities* they want - with any sized budget, 24/7. Our global team works across different cultures and time zones, bringing our products to more than 7 million customers, making us one of Europe's safest and most secure platforms that powers modern investing. Headquartered in Austria but operating across Europe, our products are built by fast-moving, talented, “roll-up-your-sleeves-and-make-it-happen” kind of people. It's these diverse perspectives and innovative minds operating as ONE TEAM that keep Bitpanda at the cutting edge of our industry. So if you're someone who thinks big, moves fast and wants to make an impact right from day one, then get ready to join our industry-changing team. Let's go! Your Mission As a Frontend Engineer on Bitpanda's flagship B2C platform , you'll shape one of Europe's fastest-growing investing and trading experiences. You'll craft highly-performant, secure, and scalable web surfaces that bring everything from everyday investing to advanced crypto trading to life. Your work will touch millions of users, turning complex financial products into experiences that feel simple, fast, and trustworthy, while giving you the opportunity to leave a mark

Delivery Driver(04542) - 448 Rahway Av Woodbridge, NJ, United States Company Description: One of the largest Franchisee in the tristate area. A company where People are first. We love our team members, and we create an environment where you can provide for your family and grow in the company. Job Description: Are you ready to be part of the action? Do you like money in your pocket? Domino's Pizza drivers are paid cash nightly, which includes: tips and mileage reimbursement! Our driver position is an excellent start to learn about the delivery business, customer service, and the creation of a great product ... Domino's Pizza! We are committed to promoting from within: most of our managers started as drivers! Take charge of your career in a driver role and learn valuable skills to take to other positions within Domino's Pizza! Minimum Age 18+, with 2 years driving history. Valid driver's license with safe driving record meeting company standards. Access to insured vehicle which can be used for delivery. Must provide proof of insurance coverage. Qualifications: Must have valid drivers license and insurance. Must be able to pass a MVR Additional Information: All your information will be kept confidential according to EEO guidelines.