As a Principal Software Engineer within the Quantum Programming group, you will be a core contributor to this stack, including both maintenance and significant new feature development. We build two "full stack" compilers, one for a strictly typed functional programming language called Coalton, and one for a quantum programming language. The compilers are primarily written in Common Lisp, and interfaces with a lot of software, both as a library and as a stand-alone application. As such, in this role, you will have opportunities to work on both quantum compilers, classical compilers, as well as open-source Lisp compilers.

In addition to technical work, you will have leadership responsibilities, helping shape the direction of compiler and programming language development activities at HRL.

Superb understanding of operating system fundamentals, the C ABI, programming language runtimes, and programming language implementation

Excellent skills in profiling and debugging

Practical knowledge of several different programming language paradigms, including functional and logic programming.

Near-expertise in static and strong functional typing disciplines.

Experience doing academic research in computer science or mathematics is a plus

Demonstrated skills on a non-trivial programming language implementation.

Outstanding programming skills, including full cycle software development with Git

Excellent code review and mentorship skills

Knowledge of quantum computing and quantum mechanics is a plus

Knowledge of Common Lisp (We use Steel Bank Common Lisp) is a plus

Familiarity with scientific and numerical computing is a plus.

Bachelors in mathematics or computer science, or equivalent knowledge gained through industry experience

US citizenship is required

Ability to obtain and maintain a security clearance

The base salary range for this full-time position is $163,150 - $209,088 + bonus + benefits.

Our salary ranges are determined by role, level, and location. The range displayed on each job posting reflects the minimum and maximum target for new hire salaries for the position. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range during the hiring process. Please note that the compensation details listed reflect the base salary only, and do not include potential bonus or benefits.