Sarah Mitchell
sarah.mitchell@techmail.ca | (647) 382-5941 | 142 Birchwood Avenue, Toronto, ON M4V 2K7 | https://github.com/sarahmitchell

EXPERIENCIA LABORAL

Ingeniera de Software EDA
Synapse Design Systems, San José, CA
Enero de 2022 - Presente

- Desarrollo y optimización de algoritmos centrales para herramientas de automatización de diseño físico, mejorando el rendimiento de tiempo de ejecución en un 35% mediante técnicas avanzadas de optimización en C++ y estrategias de multihilo
- Implementación de motores de análisis de temporización estático utilizando estructuras de datos sofisticadas y algoritmos de grafos para manejar diseños con más de 10 millones de instancias
- Colaboración con equipos multifuncionales para integrar capacidades de análisis de Verilog en la cadena de herramientas EDA, habilitando soporte para construcciones RTL avanzadas y reduciendo el tiempo de iteración de diseño en un 20%
- Mantenimiento y mejora de código base heredado utilizando control de versiones Perforce, asegurando compatibilidad hacia atrás mientras se introducen patrones de diseño modernos
- Realización de análisis de rendimiento y perfilado de algoritmos críticos, identificando y resolviendo cuellos de botella en motores de colocación y enrutamiento

Ingeniera de Software II
Cascade Technologies Inc., Waterloo, ON
Junio de 2019 - Diciembre de 2021

- Diseño e implementación de marcos de automatización basados en Python para pruebas de regresión de herramientas EDA, reduciendo el esfuerzo de pruebas manuales en un 60%
- Desarrollo de bibliotecas C++ para algoritmos geométricos utilizados en verificación de diseño y aplicaciones de verificación de reglas de diseño
- Mejora de capacidades de depuración de herramientas de síntesis mediante implementación de mecanismos de rastreo avanzados y características de reportes de diagnóstico
- Contribución al desarrollo de capacidades de procesamiento paralelo utilizando multihilo para acelerar el procesamiento de netlists para diseños de gran escala
- Participación en revisiones de código y mentoría de ingenieros junior en mejores prácticas de programación orientada a objetos y patrones de diseño

Desarrolladora de Software Junior
Vertex Solutions, Vancouver, BC
Agosto de 2017 - Mayo de 2019

- Implementación de scripts de utilidad en Perl y Python para extracción y transformación de datos de salidas de herramientas EDA
- Asistencia en el desarrollo de infraestructura basada en bases de datos utilizando MySQL para almacenar y consultar metadatos de diseño
- Realización de depuración y análisis de causa raíz de defectos de software reportados por clientes y equipos internos de QA
- Mantenimiento de sistemas de construcción e implementación en plataformas Linux, asegurando lanzamientos consistentes de herramientas a través de múltiples versiones
- Desarrollo de casos de prueba y suites de validación para nuevas características en algoritmos de colocación y enrutamiento

EDUCACIÓN

Máster en Ciencias en Ciencias de la Computación
Universidad de Columbia Británica, Vancouver, BC
Graduada: Mayo de 2017

Licenciatura en Ingeniería Eléctrica y de Computación
Universidad McMaster, Hamilton, ON
Graduada: Mayo de 2015

HABILIDADES TÉCNICAS

Lenguajes de Programación: C++, C, Python, Perl, Verilog, Assembly Language
Herramientas y Tecnologías: Git, Perforce, Linux, MongoDB, MySQL, IBM Mainframe
Competencias Centrales: Algoritmos, Estructuras de Datos, Programación Orientada a Objetos, Patrones de Diseño, Multihilo, Análisis de Rendimiento, Depuración
Conocimiento de Dominio: Desarrollo de Software EDA, Automatización de Diseño Físico, Análisis de Temporización Estático, Diseño RTL

PROYECTOS

Biblioteca de Algoritmos de Grafos Personalizada
- Desarrollo de una biblioteca C++ de alto rendimiento para algoritmos de recorrido y análisis de grafos comúnmente utilizados en aplicaciones EDA
- Implementación de estructuras de datos optimizadas logrando una reducción de memoria del 40% comparado con implementaciones estándar

Contribuciones a Herramientas EDA de Código Abierto
- Contribuidora activa a proyectos EDA de código abierto, enfocándose en análisis de netlists y algoritmos de optimización
- Envío de parches para mejoras de rendimiento y correcciones de errores adoptados por la comunidad

INFORMACIÓN ADICIONAL

- Publicación de artículo de investigación sobre "Algoritmos Eficientes para Optimización de Diseño Físico a Gran Escala" en conferencia de automatización de diseño
- Miembro de IEEE y ACM Special Interest Group on Design Automation