Input Output
Work format
remote
Work type
fulltime
1 month ago
Formal Methods Engineer
smart contracts
programming language design
haskell
lean
formal methods
model checking
theorem proving
sat
smt
blockchain
software engineering
networking
distributed systems
git
Input Output is hiring a remote Formal Methods Engineer Verification
IOG is looking for a Formal Methods Engineer to develop formal artifacts and refine specifications. They build prototypes and simulations, and provide feedback to researchers and engineers.
🤓 smart-contracts | Programming Language Design | Haskell | Lean | formal methods | model checking | theorem proving | smart contracts | SAT | SMT | Blockchain | software engineering | networking | distributed systems | Git
Job brought to you for free by JobStash
Telegram | X | Farcaster
IOG is looking for a Formal Methods Engineer to develop formal artifacts and refine specifications. They build prototypes and simulations, and provide feedback to researchers and engineers.
🤓 smart-contracts | Programming Language Design | Haskell | Lean | formal methods | model checking | theorem proving | smart contracts | SAT | SMT | Blockchain | software engineering | networking | distributed systems | Git
Job brought to you for free by JobStash
Telegram | X | Farcaster