Intern - Platform Technology

SiFive • Austin, TX

2d

About The Position

As a part of platform technologies, you will design, build, deploy, and support industry leading design and verification languages and tools. You will apply language design, compiler implementation, type systems, and more to create safe, efficient, usable design and verification environments.

Requirements

• Strong C++17 skills
• Familiarity with functional programming languages such as OCaml, scala, haskell, lisp, or f#
• Experience with Linux operating systems and standard development environments and toosl
• Experience defining build rules in a build system

Nice To Haves

• Formal systems (either HW or SW)
• Type checking experience
• Interest in HW/CompArch CIRCT/MLIR/LLVM experience

Responsibilities

• Architect and implement language features and compiler internals that drive a functional language to enable development and delivery of SiFive’s RISC-V core IP product.
• Develop tools required by a language ecosystem.
• Architect and design quality code to facilitate meeting expanding requirements for business processes, efficiency and usability.
• Interface with design, verification and other teams within SiFive to define the next generation of flow automation.

Benefits

• In addition to base pay, this role may be eligible for variable/ incentive compensation and/ or equity.
• In addition, this role is eligible for a comprehensive, competitive benefits package which may include healthcare and retirement plans, paid time off, and more!

What This Job Offers

• Career Level: Intern
• Education Level: No Education Listed