data theorem jobs in Chicago
4 data theorem job listings in United States. Find daily updated positions from leading job boards.
-
Android Developer with Kotlin experience
14 hours ago
Chicago, Illinois, United States Zadon Technology Full-time $55 - $60 PermanentMandatory 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,...
-
Formal Verification Scientist
3 days ago
Chicago, Illinois, United States Alignerr Remote Full-time $170 - $200 PermanentAbout 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...
-
Senior Software Engineer, Unified Platform
14 hours ago
Chicago, Illinois, United States DRW Full-time $175,000 - $275,000 ContractDRW 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
1 week ago
Chicago, Illinois, United States Alignerr Remote Full-time $170 - $200 PermanentResearcher — 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...