The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. To secure this trust, the VerSA (Verified System Design Automation) team applies formal verification to establish functional and security properties based on machine-checked mathematical reasoning. In our projects, we often use the Rocq theorem prover to establish foundational proofs about, e.g, Rust programs across operating systems, hardware programs for multi-processor designs, or formally verified network protocols. We collaborate both with industry and academia to promote formal verification into the mainstream development cycle. Contributing to open-source projects, writing papers and attending conferences is part of our daily work. At the earliest possible date we are looking for a Research Associate “Formal Verification” (m/f/d) The position will initially be filled for a period of 2 years and will be remunerated in line with TV-L E-13. We welcome applications from candidates at different career stages, including prospective PhD students. Your responsibilities will include Besides contributing your unique ideas, you will actively participate in the formal verification of our technology stack, Design and implementation of programming languages for hardware and software along with their respective compilation, Contribution of code written in the Rocq theorem prover, Rust and other programming languages, Development of proofs for functional correctness, safety and security properties, Engagement in writing scientific papers about our work and their presentation at conferences. We expect the fol Hinweis: Dies ist eine gekürzte Anzeige von MINTbund.de - MINT Stellen aus Deutschlandweit. Alle Details erfahren Sie in der Originalanzeige auf https://www.mintbund.de/jobs/285280/research-associate-formal-verification-in-dresden. Mit Klick auf die Schaltfläche 'Weiter zur Bewerbung' (oder ähnlich lautend) kann es sein, dass Sie hier erst ein Konto anlegen müssen. Sie finden diese Anzeige auch direkt auf der Karrierewebseite des Arbeitgebers auf Empfehlungsbund.de. Schlagworte: formal verification, Rocq theorem prover, Englisch, Elektrotechnik, Automatisierungstechnik, Elektroniker, IoT, Electronics, Automation, Messtechnik, Elektronik, Wartung, Operator, Servicetechniker, Automatisierung, Kundendienst, Driver, Electro, Elektro, Maintenance. Home Office EBND ist möglich.