Senior Formal Verification Infra Enginner Offline

REQUIREMENTS:

• Compilers ∨ Verification: Experience with either:
  • compiler implementation, beyond university-level coursework, or
  • formal verification tools, such as provers, model checkers, etc.
• Programming Languages / Rust: Experience programming in Rust, or extensive experience with other languages that would make learning Rust straightforward.
• Math Excellence: Strong math background, with a history of excelling in school or university.
• Mindset: Detail-oriented and eager to learn.

NICE TO HAVE:

• AI: Experience developing custom AI agents, for example, using LangChain.
• AI learning: Not expected, but experience with reinforcement learning for large language models would be highly valued.
• Web3: Development or auditing experience with Sui and Move (preferred). Experience with Solana or Solidity/EVM is also valuable.
• Verification experience

RESPONSIBILITIES:

• Enhance and extend the capabilities of the Sui Move Prover.
• Develop AI solutions for specification inference and automated proving.

YOU WILL GET:

• Competitive financial reward and other social benefits;
• Possibility to work with minor supervision and low-bureaucracy;
• Flexible schedule and friendly working atmosphere;
• Tight-knit team with an inclusive and transparent culture.