Software Engineer (m/w/d) Safety & Verification
Core
Develop and maintain an internal verification language and toolchain to formally verify safety-critical algorithms using formal methods instead of testing.
Role type
Software Engineer (Safety & Verification)
Builds
Internal verification toolchain and formal specifications for industrial safety applications
Domain
Industrial automation / Safety-critical systems / Formal methods
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
Required skills
Python, C#, Boolean algebra, Predicate logic, Formal specifications, SMT solvers
Preferred skills
Experience with formal methods, Experience with SMT solvers
Technologies
Python, C#, Z3 SMT Solver
Responsibilities
Develop and continuously improve the internal verification language and toolchain, Design and implement formal specifications for industrial safety applications using predicates and boolean expressions, Contribute ideas to R&D projects at the intersection of formal methods and AI-driven engineering
Seniority
Mid-level, hands-on IC
