Formal Verification Researcher
I am currently looking for Formal Verification Researchers for an exciting research team in Dresden with a world-renowned company.
As a Formal Verification Researcher, you will:
· Influence research tracks on technologies related to formal modelling and verification, working with operating systems.
· Take responsibility for the exploration of cutting-edge tech and solutions.
Required Skills for this Formal Verification Researcher position:
· Experience with Formal Verification
· Familiarity with tools such as Spin, UPPAAL, Coq, Isabell or Z3 etc.
· Background with Common Criteria and ISO 26262
· Experience with OpenSource projects
If you are interested in this Formal Verification Researcher role, please send a CV to dm@eu-recruit.com
Keywords: Formal Verification, Kernel, Common Criteria, ISO26262
By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice https://eu-recruit.com/about-us/privacy-notice/
Brighton Head Office
39 Upper Gardner Street
Brighton, BN1 4AN
United Kingdom
Company reg. 05924374
European Tech Recruitment SL
c/Jordi de Sant Jordi 12
bajo izq. 2
46022 Valencia
Spain
Company reg. B72490204
Huddersfield Office
Studio 6,
Friendly Street
Huddersfield
HD1 1RL
United Kingdom
European Recruitment BV
Laarderhoogtweg 25
Amsterdam, The Netherlands
1101 EB
Company reg. 76228673
Munich Office
Franz-Joseph-Str. 11
Munich, Germany
808081