impact on the world of technology.
Our team develops world leading formal verification software tools used by top
tier hardware and chips design companies. Our best-in-class formal analysis
technology, hardware analysis and visualization framework allow us to deploy
multiple software applications tailored to address different customer
verification challenges. We work closely our customers and leading academic
researchers to rapidly grow our technology, software framework and software
solutions.
Highly motivated senior software engineer to work on the definition and
development of features, architectural changes and enhancements of established
software product. The successful candidate should have extensive experience in
designing and developing high-quality software using object-oriented C++
and/or Java. Extensive experience with development, debugging and tuning code
for large systems is required. We’re looking for someone with potential
technical leadership skills who can be a key and an influential team member as
well as can work well in a multi-national team, develop maintainable, high
quality software products using a structured development methodology.
Requirements
* Highly motivated individual with excellent communication skills.
* BSc/MS+ in computer science.
* 7+ years software development experience.
* Hands-on knowledge in C++ and/or Java.
* Excellent algorithmic development skills.
* Experience developing software on NIX* systems.
* Fluent English/Hebrew written/verbal communication.
Advantage
* Experience in Formal Verification Tools Development.
* Expert in Data Science and Big Data applications.
* Expert in OOD/P for large distributed systems.
* Experience developing software for HPC, HTC, Gaming.
We’re doing work that matters. Help us solve what others can’t.
