Formal Methods Research and Development Engineer
Job ID: 2BB
Location: Haifa Israel
Description:
This position involves developing algorithms and tools for assertion-based verification. The selected candidate will work as part of a team developing new tools and applications for dynamic and static verification based on the Property Specification Language (PSL).
Requirements:
Candidates should have good knowledge of C/C++, logic, algorithms, and data structure. Knowledge of Formal Methods is an advantage.
Education:
B.Sc. (or higher) in computer science or electrical engineering.
To apply for this position, send your resume to job@il.ibm.com and refer to this job title in the subject line.
