Company Description
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.
Do you want to move more? Welcome to Bosch Rexroth.
Bosch Rexroth AG is looking forward to your application!
Job Description
- 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.
- You will examine the tool and create of a model for formal verification based on a practical application.
- You will evaluate the suitability of the formal verification methodology in practice.
- Furthermore, you will determine appropriate state-of-the-art engineering solutions to improve development efficiency.
- You will analyse the performance and quality of the tool, e.g. w.r.t. state space explosion, export and import functionalities,...
- Last but not least, you will integrate and analyse the performance of formally verified code.
Qualifications
- Education: Master studies in the field of Computer Engineering, Software Development or comparable
- Experience and Knowledge: in the field of formal verification; good IT background; software development skills; programming skills in C, C++
- Personality and Working Practice: independent, proactive, communicative, analytical, willing to work in an international team, critical and logical thinking skills; good communication skill to explain solutions and problems
- Languages: good communication skills in written and spoken English
Additional Information
Start: according to prior agreement
Duration: 4 - 6 months
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.
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.
Need further information about the job?
Luuk Mallens (Functional Department)
+31 40 257 8860
Julia Rosenberger (Functional Department)
+49 9352 18 3639
You can find more information about us at www.boschrexroth.com/en and on our social media channels, for example our Instagram channel.
#LI-DNI
Top Skills
What We Do
The Bosch Group is a leading global supplier of technology and services. It employs roughly 402,600 associates worldwide (as of December 31, 2021). The company generated sales of 78.7 billion euros in 2021. Its operations are divided into four business sectors: Mobility Solutions, Industrial Technology, Consumer Goods, and Energy and Building Technology.
As a leading IoT provider, Bosch offers innovative solutions for smart homes, Industry 4.0, and connected mobility. Bosch is pursuing a vision of mobility that is sustainable, safe, and exciting. It uses its expertise in sensor technology, software, and services, as well as its own IoT cloud, to offer its customers connected, cross-domain solutions from a single source. The Bosch Group’s strategic objective is to facilitate connected living with products and solutions that either contain artificial intelligence (AI) or have been developed or manufactured with its help. Bosch improves quality of life worldwide with products and services that are innovative and spark enthusiasm. In short, Bosch creates technology that is “Invented for life.”
The Bosch Group comprises Robert Bosch GmbH and its roughly 440 subsidiary and regional companies in some 60 countries. Including sales and service partners, Bosch’s global manufacturing, engineering, and sales network covers nearly every country in the world. With its more than 400 locations worldwide, the Bosch Group has been carbon neutral since the first quarter of 2020. The basis for the company’s future growth is its innovative strength. At 128 locations across the globe, Bosch employs some 76,100 associates in research and development, of which more than 38,000 are software engineers.
Instagram: https://www.instagram.com/boschglobal/
Facebook: https://www.facebook.com/BoschGlobal
Twitter: https://www.twitter.com/BoschGlobal
Glassdoor: https://bit.ly/3raTZnH
Imprint: www.bosch.com/corporate-information
Privacy statement: www.bosch.com/data-protection-notice