Recibe más respuestas de empleadores
Envía un currículum específico para el puesto de trabajo en cuestión de minutos.
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.
Are you passionate about applying constraint-solving and theorem proving to real-world problems? Do you want to create products that make a difference? If so, we have an exciting opportunity for you. In this role, you will interact with internal teams to understand their requirements. You will apply your knowledge to propose innovative solutions and productize prototypes into production systems using software development tools and methodologies. You will also collaborate with cross-functional teams to identify and solve VLSI design DTCO trade-offs, while being aware of general VLSI CAD design principles. This role will involve a focus on automatic VLSI design.