VLSI Design Optimization Engineer: Constraint Solving Leader

North American Production Sharing, Inc.; Tijuana; Presencial; MXN 600.000 - 900.000; Jornada completa

Descripción de la vacante

North American Production Sharing, Inc. is seeking a research engineer to apply constraint solving and theorem proving to real-world VLSI design challenges. You will collaborate with internal teams to understand requirements and productize prototypes into production systems.

The role focuses on DTCO trade-offs and general VLSI CAD principles, implementing tools with ILP, SAT, SMT, and related programming-language concepts to drive design automation improvements.

Formación

• Master's degree in Electrical Engineering, Computer Science, Applied Mathematics or related field with VLSI CAD experience.
• Experience programming in Python or related languages.
• Experience with Linux and LSF environments.

Responsabilidades

• Collaborate with various teams to understand foundry process and VLSI design requirements and DTCO trade-offs.
• Implement tools using optimization approaches like ILP, SAT, SMT and related concepts.
• Develop and optimize VLSI design automation software to improve design efficiency and performance.

Conocimientos

Python

Constraint solving

Optimization

VLSI concepts

Educación

Master's degree in Electrical Engineering, Computer Science, or Applied Mathematics (VLSI CAD experience)

Ph.D. degree preferred

Herramientas

Linux

LSF

Descripción del empleo

North American Production Sharing, Inc. is seeking a research engineer to apply constraint solving and theorem proving to real-world VLSI design challenges. You will collaborate with internal teams to understand requirements and productize prototypes into production systems.

The role focuses on DTCO trade-offs and general VLSI CAD principles, implementing tools with ILP, SAT, SMT, and related programming-language concepts to drive design automation improvements.