, with two main focus areas: synthesis and formal verification. If you can contribute to either of these areas..., we welcome your application. Tasks For the formal verification area: Our tools use C++, Rust, and Python. You should already be comfortable...
, with two main focus areas: synthesis and formal verification. If you can contribute to either of these areas..., we welcome your application. Tasks For the formal verification area: Our tools use C++, Rust, and Python. You should already be comfortable...