R&D Engineer, II
Synopsys, Inc
CHILE - Chile
hace 4 días

Job Description and Requirements

Individual Contributor Job Description and requirements

You will be a member of the R&D team developing a software product called Formality that performs equivalence checking using formal, static techniques to determine if two versions of a design (integrated circuit) are functionally equivalent.

The verification engine deploys SAT, Binary Decision Diagrams (BDDs), and other formal techniques.

Primary Responsibilities

  • Enhance the product through algorithm development and code implementation.
  • Learn, analyze, test, debug, and maintain the existing Formality code base.
  • Interact with other members of Synopsys R&D, customer support, and sales experts as necessary to understand customer needs and product goals.
  • Required Skills

  • C / C++ / STL programming, with knowledge of object-oriented design.
  • Broad understanding of data structures, algorithms, heuristics, and their application.
  • Good analytical and problem-solving skills.
  • Exercise of judgment in developing methods, techniques, and evaluation criteria to meet project goals. Comfortable with learning and applying new technologies.
  • Ability to work in both independent and collaborative settings.
  • Good written and oral communication skills in English.
  • Knowledge of software specification, design process, and regression testing.
  • Special consideration given to those with background and experience in : Formal Verification; Logic Synthesis; Compilers;
  • Verilog and VHDL; BDD and SAT technology.

  • Knowledge on EDA tools.
  • Inscribirse
    Añadir a los favoritos
    Eliminar de mis favoritos
    Mi Correo Electrónico
    Al hacer clic en la opción "Continuar", doy mi consentimiento para que neuvoo procese mis datos de conformidad con lo establecido en su Política de privacidad . Puedo darme de baja o retirar mi autorización en cualquier momento.
    Formulario de postulación