Fact Labs

Building models in spreadsheets is broken. Spreadsheet models break down when you alter them, modularize them, or add more collaborators. Analysts in banking, investment management, and operations have gotten by with spreadsheets but not without enormous time and effort spent hacking around their many limitations. Fact Labs has developed a more powerful, more collaborative modeling paradigm that is inspired by logic programming and applied ontology yet is still accessible to sophisticated but non-programmer analysts. We are a small, funded, early-stage team with significant domain experience with our target customers. The team previously worked together on a distributed search and data management startup and sold the company a few years back. What we are looking for: Fast, deliberate learners eager to translate concept into practice OR experienced hands ready to take significant design ownership. Strong computer science fundamentals, including algorithms and data structures. Experience with one of the following through professional, academic, or personal work: Logic programming (Prolog, Datalog, SAT/SMT solvers, etc.), Optimization (constraint satisfaction, combinatorial optimization, linear programming, etc.). Experience in the following is a plus: Database design and implementation (query processing/planning, database/storage engines), Language design and implementation (parsers, interpreters, virtual machines, compilers). Language experience: any logic/constraint language (required), C / C++ (plus). Self-starting attitude with strong communication skills (especially written). The modeling experience we’re building is unlike anything out there. If you believe that spreadsheets are not the last word in end-user programming, reach out to us and tell us a little about yourself (bio, resume, or LinkedIn). We’d love to hear from you and show you what we’ve been up to!