Leave us your email address and we'll send you all the new jobs according to your preferences.

LLVM Verification Engineer (Functional Safety)

Posted 15 hours 45 minutes ago by Arm Limited

Permanent
Not Specified
Other
Cambridgeshire, Cambridge, United Kingdom, CB1 0
Job Description

Job Overview:

We are looking for a Software Engineer to join our Functional Safety compiler team to work on our next generation C+ compiler.

The Arm Compiler for Embedded product is based on LLVM and Clang, and our team works on the qualification and certification of the compiler to Functional Safety standards such as ISO 26262 and the Cybersecurity standard ISO 21434.

Responsibilities:
  • Help drive all aspects of team development activities such as planning, specification, documentation, and verification and help lead code reviews
  • Lead the impact analysis of potential safety or security issues found as bugs or found during static analysis, and resolve and document as appropriate
  • Help support the long term maintenance of our support branches, providing new fixes or cherry-picking fixes and testing as appropriate
  • To help define requirements, document the design and provide any other documentation that may help achieve certification
Required Skills and Experience:
  • Development experience in C and C++ and an understanding of modern C++, such as C+/17/20
  • Experience in the full software development lifecycle from requirements, to development, to testing, delivery and maintenance
  • Scripting experience, ideally including Python development in large frameworks
  • Dedicated and flexible, you are technically versatile, and can learn new skills that you can apply across multiple types of work
  • Excellent interpersonal skills in English and a phenomenal team worker and collaborator and experience in agile software development
"Nice To Have" Skills and Experience:
  • Experience of Functional Safety software development as per at least one of the Functional Safety standards: ISO 26262, EN 50128, IEC 61508, IEC 62304
  • Experience developing compilers, ideally using frameworks such as LLVM/Clang, MLIR
  • Low-level programming in Arm Assembly
  • Presence and experience contributing to Open-Source projects, ideally LLVM
  • Awareness of Secure Development Lifecycle and security vulnerabilities analysis
  • Technical Mentoring of junior colleagues and peers in areas of own knowledge
In Return:

In return you will be provided with the training and environment to succeed in this role. We are offering a hybrid approach to home and office working to provide an adaptable experience for all employees and to promote a strong collaborative environment.

Email this Job