Software Engineer formele verificatie

ING

Vacature informatie

Organisatie: ING

Locatie: Amsterdam

Opleidingsniveau: WO

Arbeidsvoorwaarden: Marktconform

Solliciteren

Als Software Engineer bekend met formele methoden (DSP, SMT/SAT, Theorem Proving) zoals die nu bij ING worden toegepast

framework en tooling ontwikkelen/inzetten voor geautomatiseerde (semi-) correctheids (bewijzen) van de opgestelde specificaties en de

eruit gegenereerde software incl de herschrijf grammatica

Vacature informatie

Organisatie: ING

Locatie: Amsterdam

Opleidingsniveau: WO

Arbeidsvoorwaarden: Marktconform

Solliciteren

Meer vacatures

Vacatures