Software Engineer - C and Ada, FPGAs or ASICs


Premium Job From Datasource Recruitment

Recruiter

Datasource Recruitment

Listed on

24th August 2018

Location

Bristol

Salary/Rate

Negotiable

Salary Notes

Negotiable

Type

Permanent

This job has now expired please search on the home page to find live IT Jobs.

Job Role: Software Engineer - C and Ada, FPGAs or ASICs

Location: Bristol

Duration: Permanent

Salary/Rate: Excellent

Start Date: ASAP

Clearance: SC or willing to undergo

Software Engineer - C and Ada, FPGAs or ASICs - Permanent - Bristol - Excellent

This is a technical consultancy role that would suit a software engineer or mathematician with previous experience across the full development lifecycle of safety or security related software or programmable hardware systems.

Key Responsibilities:

* Provide consultancy to clients on how to develop, procure and manage safety and security critical software

* Supervise and undertake development, assurance, verification and testing of software used in safety-critical systems.

* Manage staff and/or projects

* Research and evaluate new tools and techniques for safety and security related software

* Develop papers and present at conferences

* Some work outside normal office hours may be necessary.

* Travel to and from client sites and/or temporary secondment to client's offices may also be required.

Skills / Experience:

* Experience of providing advice to safety or security critical software development teams

* Experience of the full development lifecycle gained in the Avionics, Rail, Nuclear, Medical or other safety critical environment

* Experience of high-level programming languages such as C and Ada, or low-level languages such as assembler languages or programmable hardware (FPGAs or ASICs) and Hardware Description Languages such as Verilog and VHDL

* Experience of verifying software or programmable hardware (e.g. unit testing, simulation)

* To support our clients' varied needs and our broad pipeline of work, we are also interested in candidates with one or more of the following:

* Knowledge of the standards used in software-based systems in safety- or mission-critical industries like IEC 61508 or DO-178C

* Knowledge of development and test of real-time, embedded and control systems using tools like SCADE and VectorCast

* Knowledge of formal methods using tools like Polyspace, SPARK and MALPA

* Candidates will ideally be degree qualified (min 2:1) or equivalent in a numerate discipline with a significant software engineering element.

RECOMMEND A FRIEND: If you have professional friends/colleagues who would be interested in one of our roles and our excellent levels of service too, we'd like to recognise your recommendations with a 'thank you' of our own. For every colleague you refer who then starts a role through Datasource either Contract or Permanent, we will send you £300!

You will be required to hold a minimum of SC or willing to undergo. If you do not hold an active SC or willing to undergo please familiarise yourself with the vetting process before applying.

Hit the 'Apply now' button to apply and to discuss this role further. We will be delighted to hear from you!

(c) Copyright Datasource Computer Employment Limited 2018.

You are currently using an outdated browser.

Please consider using a modern browser such as one listed below: