Job
Title
Staff R&D Engineer
Job
Description
Jasper
Design Automation is looking for a candidate to be part
of its JasperGold Verification System product development
team. The candidate will be responsible for leading software
development projects and developing software programs
in the formal verification and related areas.
The candidate will be expected to exercise judgment within
generally defined practices and policies in selecting
methods and techniques for obtaining solutions. Candidate
should be able to produce consistently high quality technical
solutions and code implementations independently.
Job Requirements
MS (6+ years work experience)/PhD (4+ years work experience)
in EE or CS. Strong C/C++ programming knowledge. Excellent
background in data structures and algorithms. Must have
experience in developing production quality EDA software
on Linux and/or Solaris platforms. Knowledge in the area
of formal verification and functional verification a plus.
Experience in leading a team on specific projects a plus. |