Job Summary
An information technology company is seeking a Remote Functional Compilers Engineer.
Must be able to:
- Develop a new backend for the K programming language compiler
- Work closely with colleagues to design and develop formal verification technology
- Assisting with the design and validation of algorithms
Skills and Requirements Include:
- Bachelors in CS or equivalent
- 5 years' experience in functional and systems programming languages
- Deep understanding of technologies underpinning functional programming languages
- Direct work experience writing code in functional programming languages
- Proven experience in algorithm implementation