Ada Jobs - Praxis HIS, UK
- Development Engineer SPARK team (Bath, UK)

Submitted: 2006/03/21.
Archived: 2008/03/04.

Owing to significant project wins, SPARK Team finds itself in need of...

Job Title

Development Engineer - SPARK team
(Based in Bath, UK)

Brief Description

A rare opportunity has arisen to join the SPARK development team, which is world-renowned for its work in high-integrity programming language design and static verification. You will form part of this team, working in all areas of the product lifecycle including R&D, customer support, sales, delivery of training, and marketing.

You will spend at least a year in the SPARK team before moving into other software consulting and development opportunities within the company.

Requirements

You will require a robust set of technical skills and have experience in one or more of the following: programming language design, static analysis tools or compilers, theorem proving, software model checking, SAT solving or grid-based computing. You will probably have at least a 2:1 degree in a related subject. You'll be a strong team member, have the ability to think analytically and have clear customer focus.

Applications from recent graduates or those with higher degrees are welcome.

Enquiries and CVs to: recruit@praxis-his.com, or via www.sparkada.com

To the Ada-Belgium home page. To the Ada-Belgium Ada jobs page.

Last update: 2006/03/24.