Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.

The vision of JITX is to fully automate hardware design to advance science and the welfare of humanity. Our first step is to automate circuit board design. We are a profitable seed-stage startup, backed by Y Combinator and Sequoia. We are looking fo…