Software Engineer (m/w/d) Safety & Verification
Hybrid
Core
Develop internal verification language and toolchain to formally verify safety-critical algorithms using Python and Z3 SMT Solver.
Role type
Software Engineer (Safety & Verification)
Builds
Internal verification language and toolchain for industrial safety applications
Domain
Industrial automation / Safety-critical systems / Formal methods
Deliverable
production ML models
Required skills
Python, C#, Boolean algebra, Predicate logic, Formal specifications, SMT solvers
Preferred skills
Experience with formal methods, AI-assisted engineering
Technologies
Python, C#, Z3 SMT Solver
Responsibilities
Develop and maintain internal verification language and toolchain; Design and implement formal specifications for industrial safety applications; Contribute to R&D projects at the intersection of formal methods and AI
Seniority
Mid-level, hands-on IC
