Application Engineering Intern (AI)

TL;DR

Application Engineering Intern (AI) (LLM/ML): Developing and evaluating AI-driven approaches for formal verification workflows with an accent on AI/ML integration and technical data analysis. Focus on prototyping new concepts and collaborating with R&D to advance innovative semiconductor solutions.

Location: Hybrid in Feldkirchen (Munich), Germany

Company

hirify.global is a global leader in electronic design and verification technologies for the semiconductor industry.

What you will do

• Develop and evaluate LLM/ML-based approaches for formal verification workflows.
• Analyze technical data to extract meaningful insights for verification use cases.
• Prototype and validate new AI concepts in collaboration with experienced engineers.
• Develop technical documentation and reports to present findings.
• Integrate new AI-driven solutions into existing verification workflows.
• Collaborate with R&D teams to refine problem statements and advance solutions.

Requirements

• Currently pursuing a degree in Electrical/Electronic Engineering, Computer Science, or Computer Engineering.
• Fundamental programming skills in Python.
• Basic understanding of machine learning, generative AI, and data analysis.
• Basic understanding of formal verification concepts.
• Familiarity with Linux/Unix environments and scripting.

Nice to have

• Fundamental understanding of VLSI, IC design, and HDLs like SystemVerilog.
• Exposure to hardware formal verification tools such as Jasper.
• Experience verifying simple RTL designs using formal techniques.
• Familiarity with machine learning libraries or data processing frameworks.

Culture & Benefits

• Fair internship compensation and housing allowance for interns from abroad.
• 30 days of annual leave.
• Meal vouchers and public transport tickets.
• Hybrid working model in a modern office environment.
• Opportunity to gain hands-on experience with cutting-edge AI and semiconductor verification technologies.