Software Engineer II: Hardware Verification Compiler

Cadence Design Systems
Belo Horizonte
Workplace: OnsiteFull timeFunction: Software EngineeringEducation: bachelorsSkills: ["Problem-solving","Communication","Creativity","Collaboration"]

Work on compiler technology for the Cadence Palladium Platform, helping deliver high-performance compiler capabilities for large-scale model checking and structural checking. You’ll design and implement scalable solutions for big compilation workloads, improve functionality, scalability, and performance, and apply multithreading and distributed computing. Build, debug, test, and maintain production-quality C/C++ software in Linux/Unix while collaborating with global engineering teams.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Cadence Design Systems
Cadence Design Systems
3 days ago

Software Engineer II: Hardware Verification Compiler

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 8 hours agoStatus: Live
Reposted: similar role first listed 2 weeks ago

Job Summary

Work on compiler technology for the Cadence Palladium Platform, helping deliver high-performance compiler capabilities for large-scale model checking and structural checking. You’ll design and implement scalable solutions for big compilation workloads, improve functionality, scalability, and performance, and apply multithreading and distributed computing. Build, debug, test, and maintain production-quality C/C++ software in Linux/Unix while collaborating with global engineering teams.
Location: Belo Horizonte
Workplace: Onsite
Employment Type: Full time
Job Function: Software Engineering
Seniority: Mid level

Key Responsibilities

  • •Contribute to the development of compiler technology for the Cadence Palladium Platform.
  • •Design and implement scalable software for large compile workloads, including model checking and structural checking.
  • •Improve compiler functionality, scalability, and performance through creativity and strong problem-solving.
  • •Learn and apply multithreading and distributed-computing techniques to solve large-scale compilation problems.
  • •Develop, debug, test, and maintain production-quality C/C++ software in a Linux/Unix environment. Collaborate with local and global teams on design, validation, and issue resolution.

Key Requirements

  • •Complete a Bachelor's degree or MS in engineering, computer science, or a related field.
  • •Professional experience with data structures, algorithms, and databases.
  • •Demonstrated proficiency in C++ and debugging with gdb.
  • •Familiarity with Linux/Unix development.
  • •Coursework in Hardware Description Language such as Verilog, SystemVerilog, or VHDL.
Experience:SemiconductorsElectronics designCompiler developmentEmulationHardware verification
Education:Bachelor's in engineering, computer science or related field
Skills:Problem-solvingCommunicationCreativityCollaboration
Languages:EnglishPortuguese
Tech Stack:C++CLinuxUnixGdbVerilogSystemVerilogVHDLMultithreadingDistributed computingModel checkingStructural checkingVersion-controlBuild systemsDatabase

Company Brief

Cadence Design Systems
Provides electronic design automation (EDA) software, IP, and services for semiconductor and systems companies to design, verify, and implement integrated circuits, systems-on-chip, and electronic systems across industries including communications, automotive, and consumer electronics.
Industry: Developer Tools
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: San Jose, United States
Founded: 1988
Glassdoor
Glassdoor: 3.9
WebsiteLinkedInGlassdoor