Careers at IBM R&D Labs in Israel

Job ID: RES-0469872
Location: Haifa

Description:
This position involves working as a research and development person in the IBM Research - Haifa Formal Verification group. Formal verification using model checking is one of the most challenging aspects of hardware functional verification. The selected candidate will join a team of highly skilled and experienced researchers (PhDs) and will quickly become responsible for advancing the state-of-the-art in a selected aspect of the RuleBase technology.

Requirements:
Candidates must have experience in the development of model checkers, SAT solvers, and SAT-based or OBDD-based net list transformations. Proven abilities in highly optimized C/C++ based systems (e.g., profiling and benchmarking) and very good knowledge of advanced object-oriented C++ and design patterns are required. Candidates should have advanced research skills together with outstanding development and engineering capabilities. Fluent English, a team orientation, and the capacity to work well on a global team are required.

Education:
B.Sc. in computer science with a strong theoretical profile in computer science. A specific focus on formal methods is an advantage.