SOFTWARE ENGINEER (R&D APPLICATIONS - FORMAL VERIFICATION)

POSITION DESCRIPTION:

Design, develop, test and implement formal verification software utilizing C/C++ programming on the UNIX platforms. Research efficient algorithms and implementation of Formal Engines including SAT based bounded model checkers, inductive provers and iterative proof-based abstraction mechanisms. Enhance the performance of logic gate-level Simulators. Automate regression analysis, test and deployment.

REQUIREMENTS:
Positions may require a Master’s degree in Computer Engineering or related field plus two years of related experience.

To Apply: Mail to Resume to Real Intent Inc.
Attn: Rajiv Kumar,
505 North Mathilda Avenue,
Suite 210, Sunnyvale, California 94085
indicating job reference number 664.7.