Avatar for Fact Labs

Collaborative Analytical Modeling at Scale

Founding Software Engineer - Logic Programming

$100k – $140k
Apply now

What You Will Be Doing:

  • Work directly with the founding team to implement our modeling application in our logic programming language
  • Design and implement extensions to the modeling language as we introduce new semantics
  • Improve and extend the core modeling engine / solver, which is capable of branching and incremental evaluation

What We Are Looking For:

  • Strong computer science fundamentals, including algorithms and data structures
  • Self-starting attitude with strong communication skills (especially written)

Experience required in 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 (parser generators, interpreters, virtual machines, compilers)

Language experience:

  • any logic/constraint language (required),
  • C++ / Lisp / Javascript (plus)

Location: San Francisco or Remote (US only)

Meet your team

People you would work with in this role

Fact Labs at a glance

Collaborative Analytical Modeling at Scale

Fact Labs focuses on Enterprise Software and Databases. Their company has offices in San Francisco. They have a small team that's between 1-10 employees.

You can view their website at http://fac.tt

More jobs at Fact Labs

View all jobs

Founding Software Engineer - Application (C++)

Similar jobs to Founding Software Engineer - Logic Programming at Fact Labs

Avatar for Ava Accessibility
Live subtitles for any conversation. enjoy 24/7 access to conversations around you
Avatar for Numerai
A new kind of hedge fund built by a network of data scientists
Avatar for A Startup
Marketplace for legal, financial and medical planning
Avatar for Future
Elite personal training for $5/day
Avatar for Karuna Health
Healthcare's copilot for patient communication
Avatar for Odin Money
We are building a blockchain-based mobile wallet for the unbanked and underbanked