system-administration

Bosch Group

<div><section><div><p></p><h2>Company Description</h2></div><div><p><strong>Our drive and control technologies move machines and projects of all sizes around the world. We inspire our customers with intelligent components, tailor-made system solutions and services for fully networkable applications up to the factory of the future.<br> Do you want to move more? Welcome to Bosch Rexroth.</strong><br> <br> Bosch Rexroth AG is looking forward to your application!</p></div></section><section><div><p></p><h2>Job Description</h2></div><div><ul><li>During your assignment, you will do a quick scan of the tools available on the market and desk evaluate of at least 3 tools against requirements and usability.</li><li>You will examine the tool and create of a model for formal verification based on a practical application.</li><li>You will evaluate the suitability of the formal verification methodology in practice.</li><li>Furthermore, you will determine appropriate state-of-the-art engineering solutions to improve development efficiency.</li><li>You will analyse the performance and quality of the tool, e.g. w.r.t. state space explosion, export and import functionalities,...</li><li>Last but not least, you will integrate and analyse the performance of formally verified code. </li></ul></div></section><section><div><p></p><h2>Qualifications</h2></div><div><ul><li><strong>Education:</strong> Master studies in the field of Computer Engineering, Software Development or comparable</li><li><strong>Experience and Knowledge:</strong> in the field of formal verification; good IT background; software development skills; programming skills in C, C++</li><li><strong>Personality and Working Practice: </strong>independent, proactive, communicative, analytical, willing to work in an international team, critical and logical thinking skills; good communication skill to explain solutions and problems</li><li><strong>Languages:</strong> good communication skills in written and spoken English</li></ul></div></section><section><div><p></p><h2>Additional Information</h2></div><div><p><strong>Start:</strong> according to prior agreement<br> <strong>Duration:</strong> 4 - 6 months</p><p>Requirement for this thesis is the enrollment at university. Please attach your CV, transcript of records, examination regulations and if indicated a valid work and residence permit.</p><p>Diversity and inclusion are not just trends for us but are firmly anchored in our corporate culture. Therefore, we welcome all applications, regardless of gender, age, disability, religion, ethnic origin or sexual identity.</p><p><strong>Need further information about the job?</strong><br> Luuk Mallens (Functional Department)<br> +31 40 257 8860<br> Julia Rosenberger (Functional Department)<br> +49 9352 18 3639</p><p>You can find more information about us at <a href="https://www.boschrexroth.com/en/xc/company/jobs-and-career/index">www.boschrexroth.com/en</a> and on our social media channels, for example our <a href="https://www.instagram.com/boschrexroth_dach/">Instagram channel</a>.</p><p>#LI-DNI</p></div></section></div>

Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems