About the Role
We are seeking an engineer experienced in both software and hardware design to build FPGA or ASIC-based applications. This role focuses on leveraging programming language technology to enhance hardware design, testing, and validation processes. You will work on the ground-up design and implementation of new applications, and refine internal high-level design and testing tools. The role primarily involves OCaml & Hardcaml for RTL design and testing, with exposure to Verilog and C.
Responsibilities
- Design and implement new FPGA or ASIC applications from the ground up.
- Extend and refine high-level design and testing tools.
- Engage in RTL design and testing/integration using OCaml & Hardcaml.
- Work with Verilog and C.
Requirements
- Comfortable with a software programming language.
- Experienced with a Hardware Description (or Construction) language (VHDL, Verilog, Chisel, Pymtl, or other) for writing and testing hardware designs.
- Experienced working with FPGA or ASIC vendor tools (Vivado or Quartus for FPGAs, Genus or Innovus for ASICs).
- Experienced building a working hardware project (FPGA or ASIC) through an academic, professional, or personal project.
- Interested in learning how to use FPGAs or ASICs in the context of networking.
- A top-notch programmer with a love for technology.
- Intellectually curious, collaborative, and eager to learn.
- Humble and unafraid to ask questions and admit mistakes.
Skills
- Software programming
- Hardware design
- FPGA
- ASIC
- OCaml
- Hardcaml
- Verilog
- C
- Hardware Description Language
- Hardware Construction Language
- VHDL
- Chisel
- Pymtl
- Vivado
- Quartus
- Genus
- Innovus
- Typed programming languages
About the Company
- We are big believers in the ability of tools to make programming faster, more pleasant, and more reliable.
- We apply these principles to our hardware engineering work.
- We are looking for people interested in using programming language technology to improve the process of designing, testing, and validating hardware designs.
- The hardware team at Jane Street works on both FPGA and ASIC designs.
- We use Hardcaml, an OCaml library for succinctly describing hardware in RTL.
- Hardcaml is tightly integrated into our development environment.
- You’ll gain lots of exposure to the libraries and tools that are foundational to our internal systems.
- We don’t expect you to have a background in OCaml, finance, or any other specific field - we’re looking for smart programmers who will approach hardware design with a software engineering mindset.
- We’re more interested in how you think and learn than what you currently know.
