data theorem jobs in Chicago

 Mandatory skills:KotlinMVVMPCI Compliance ,securityData theorem, Vulnerability Preferred if has HIPAA and/or PCI knowledge. Knowledge about encryption and hashing. Secure coding practices 8+ years of experience required  Designing and developing advanced applications for the Android platformUnit-testing code for robustness, including edge cases,...

About The Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced human-written mathematics into machine-verifiable Lean 4 proofs — working at the frontier of what proof assistants can currently express, capture, and...

DRW is a diversified trading firm with over 3 decades of experience bringing sophisticated technology and exceptional people together to operate in markets around the world. We value autonomy and the ability to quickly pivot to capture opportunities, so we operate using our own capital and trading at our own risk. Headquartered in Chicago with offices...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations — working at the very edge of what...