Software developer and verification expert - Billington Heights, United States - BlueWave Solutions

BlueWave Solutions
BlueWave Solutions
Verified Company
Billington Heights, United States

3 weeks ago

Meredith Sinclair

Posted by:

Meredith Sinclair

beBee Recruiter
Description

We are currently seeking a talented individual to join our development team in the Defense & Aerospace division at one of our locations in Berlin, Dresden, or Ilmenau. As soon as possible, we are looking for a smart and innovative mind to join our team at Billington Heights.

Your Responsibilities

  • Developing component-based systems, with a focus on safety-critical components
  • Applying formal methods to verify critical properties of trusted components
  • Integrating into the overall product, which consists of both hardware and software components
  • Assisting with testing, error analysis, and documentation creation

Your Profile

  • A completed degree in computer science, a similar qualification, or relevant work experience
  • Knowledge or experience in software development, preferably in the field of safety-critical systems
  • Experience with operating systems, microkernels, separation kernels, and Linux is desirable
  • Knowledge of Intel x86 architecture and virtualization is desirable
  • Experience with Ada/SPARK or programming languages with verification requirements is desirable
  • Knowledge of IT security, applied cryptography, and information security is desirable
  • Excellent German and good English skills, both written and spoken, complete
More jobs from BlueWave Solutions
See all jobs of BlueWave Solutions