[FM-India] Verification of Intelligent Systems -- Job opening at Siemens

[Girish Maskeri]

Title:  Research Engineer – Formal Verification of Intelligent Systems

Requirement is for Siemens R&D lab in Bangalore (WFH for now). This
research position involves applying formal verification and rigorous
testing techniques such as model checking, falsification, symbolic/concolic
execution to verify real-world systems, especially systems with AI/ML
components. Expectation is to engineer a scalable solution, extending
state-of-art techniques if necessary, leading to invention disclosures and
paper publications.

More details can be found at: https://jobs.siemens.com/jobs/246099

Interested candidates can contact Girish Maskeri (girish dot maskerirama at
siemens dot com)