Open Source Chip Design Verification Tooling

18 Jan 2024
Job Information

Organisation/Company

HM Hochschule München University of Applied Sciences

Research Field

Computer science » Other

Researcher Profile

First Stage Researcher (R1)

Country

Germany

Application Deadline

30 Jun 2024 – 00:00 (UTC)

Type of Contract

To be defined

Job Status

Negotiable

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

Hochschule München is among the largest German universities of applied sciences, located at the heart of Munich, Germany. The working group ”AEMY” focuses on safe, secure and smart systems. Our main working areas include RISC-V processor design, WebAssembly runtime development and open source chip design tools.

For our research projects we are looking for a qualified and motivated new team member. This position focuses on the interoperability of open source chip design tools. Such Electronic Design Automation (EDA) tools are required to design and validate semiconductor chips and there is an increasing ecosystem of open source tools. To improve the support and adoption of dynamic verification and formal verification using “linear temporal logic (LTL)”, novel methods and extensions to the CIRCT chip design compiler framework (based on LLVM), Verilator and Yosys are explored. You will be closely working together with these project communities.

Your profile should cover:

• Enthusiasm for open source development and collaboration
• Basic understanding of compilers and tooling
• Basic understanding of digital design
• Ideally: Understanding of verification

Join us now:

• to become a member of a great team in Munich, Germany
• to work closely with an international open source community
• to pursue a PhD degree at a small and focused research group
• to be actively involved with relevant industry partners in the area

Requirements
Additional Information

Website for additional job details

https://www.hipeac.net/jobs/14504/open-source-chip-design-verification-tooling/

Work Location(s)

Number of offers available

1

Company/Institute

HM Hochschule München University of Applied Sciences

Country

Germany

City

Munich

Geofield

Where to apply

E-mail

[email protected]

Contact

City

Munich

Website

https://www.youtube.com/user/HochschuleMuenchen1
https://www.hm.edu/en/
https://twitter.com/hmmuenchen
https://www.linkedin.com/school/hochschule-muenchen

STATUS: EXPIRED