s of related experience, or Masters with a minimum of 10 years of related experience, or PhD with a minimum of 8 years of related experience
- Expertise in CP / SAT / SMT / Theorem Proving / Formal Methods is strongly preferred.
- Expertise in C++ development.
- Excellent understanding of Object-Oriented Design principles and patterns.
- Familiarity with Linux OS basics and scripting.
- Independent, with an internal drive and self-motivated.
- Good communication skills and collaboration capabilities.
We're doing work that matters. Help us solve what others can't.