Student (m/f/d): Automated verification of digital circuit netlists using z3 - Ilmenau, Thuringia
vor 1 Monat
Jobbeschreibung
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.
Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.
Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Zugang zu allen hochrangigen Positionen und den Job Ihrer Träume erhalten.
Ähnliche Jobs
Student (m/f/d): Automated verification of digital circuit netlists using z3
Nur für registrierte Mitglieder
We strengthen enterprises with application-oriented research and development in microelectronics, systems engineering and mechatronics and transfer the results of basic research into applications and products. · Optimizing digital circuits in terms of area and performance is a k ...
vor 1 Monat
Student (m/f/d): Energy‑Efficient Chip Design: Heuristics for Clock‑Gate Insertion
Nur für registrierte Mitglieder
We are looking for a student to contribute to our ongoing research projects in energy-efficient chip design.We offer a variety of challenging and practice-oriented topics for mandatory internships, Bachelor's or Master's theses or for student research assistants. · ...
vor 1 Monat
Student (m/f/d): Energy‑Efficient Chip Design: Module Detection for Dynamic Power Management
Nur für registrierte Mitglieder
We strengthen enterprises with application-oriented research and development in microelectronics systems engineering and mechatronics and transfer the results of basic research into applications and products. · ...
vor 1 Monat
Student (m/f/d): Python development: Constant propagation for optimizing digital circuits
Nur für registrierte Mitglieder
We are looking for students with Python skills to contribute to our ongoing research projects, · push the limits of what is technically feasible and be part of breaking new ground together. · Familiarization with existing framework · Analysis of gate logic and development of opti ...
vor 1 Monat