VLSI Optimization Engineer - ILP/SAT/SMT Tools

Qualcomm; Tijuana; Presencial; MXN 700.000 - 1.100.000; Jornada completa

Descripción de la vacante

QUALCOMM SEMICONDUCTORES Y SISTEMAS AVANZADOS DE BAJA CALIFORNIA is seeking a specialist in VLSI CAD and constraint solving to apply advanced optimization to real world design challenges. You will collaborate with internal teams to understand foundry processes and DTCO trade-offs, and you will productize prototypes into production systems using software development methodologies.

The role focuses on applying constraint-solving and theorem-proving techniques to automatic VLSI design, with

Formación

• Master’s degree in Electrical Engineering, CS, Applied Mathematics, or a related field with VLSI CAD experience.
• Experience programming in Python and Linux/LSF environments.
• Ability to work in fast-paced and agile development environments.

Responsabilidades

• Collaborate with various teams to understand foundry process and VLSI design requirements, and work with cross-functional teams to identify and solve VLSI design DTCO trade-offs.
• Implement tools using optimization tools like ILP, SAT, SMT, and various concepts from programming languages, theorem proving, and constraint solving.
• Develop and optimize VLSI design automation software to enhance design efficiency and performance.

Conocimientos

Python programming

VLSI CAD experience

Constraint solving

Educación

Bachelor's degree in Science, Engineering, or related field

Master’s degree in Electrical Engineering, Computer Science, Applied Mathematics, or a related field

Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or a related technical field

Herramientas

ILP

SAT

SMT

Descripción del empleo

QUALCOMM SEMICONDUCTORES Y SISTEMAS AVANZADOS DE BAJA CALIFORNIA is seeking a specialist in VLSI CAD and constraint solving to apply advanced optimization to real world design challenges. You will collaborate with internal teams to understand foundry processes and DTCO trade-offs, and you will productize prototypes into production systems using software development methodologies.

The role focuses on applying constraint-solving and theorem-proving techniques to automatic VLSI design, with