Description
Software Developer Engineer
My client, a global Powerhouse in the technology industry, is looking for a Software Development Engineer to join their team in Cambridge on a contract until 30th June 2018 initially.
My client's project aims to build and deploy a formally-verified HTTPS stack. It brings together multiple projects:
- F*, a verification-oriented dialect of the ML language
- miTLS, our implementation of the TLS protocol, written in F*, supporting TLS 1.3 in addition to 1.2
- KreMLin, a compiler from a subset of F* to C
- HACL*, a verified library of cryptographic primitives written in F*
- Vale, a domain-specific language for implementing and verifying cryptographic primitives in assembly
Project Everest is looking for an experienced engineer to work on the Everest engineering system. This involves:
- Plan and implement robust solutions for build and CI
- Testing, both manual and improving our automation
- Process improvements - build, check-in, integration, release, etc.
They are a multi-national team, with core contributors inside and outside the company, around the world.
Their code is open, and they build and run on both Windows and Linux systems.
Basic Qualifications
- 3+ years experience using Windows or Linux
- 3+ years experience coding/testing in C/C++ or in F#/OCaml for systems code
- BS Computer Science, Electrical Engineering or a related technical discipline
Preferred Qualifications
- Good understanding of build tools like Make, Scons, etc.
- Experience with Scripting languages like Bash, Python, etc.
- Collaboration Powerhouse and ability to work with multiple disciplines such as PM, dev, design, and research
Huntress does not discriminate on the grounds of 'protected characteristics' as defined under the Equality Act and other relevant UK legislation.
Huntress acts as a Recruitment Agency in relation to all Permanent roles and as a Recruitment Business in relation to all Temporary roles.
PLEASE NOTE:
We can only consider applications from candidates who have the right to work in the UK.