Formal Verification Expert for Motion Applications
vor 14 Stunden
Bosch Rexroth AG is seeking a highly skilled individual to conduct a thesis in formal verification of motion applications in high-speed transport systems.
Key Responsibilities:
- Conduct a thorough analysis of existing tools and evaluate their usability and requirements.
- Develop a model for formal verification based on a practical application and examine its suitability in practice.
- Determine state-of-the-art engineering solutions to improve development efficiency.
- Analyze the performance and quality of the tool, including state space explosion, export and import functionalities.
- Integrate and analyze the performance of formally verified code.
Requirements:
- Master's degree in Computer Engineering, Software Development, or a related field.
- Experience in formal verification, good IT background, software development skills, and programming skills in C and C++.
- Independent, proactive, communicative, analytical, and willing to work in an international team.
- Good communication skills in written and spoken English.
Additional Information:
This thesis requires enrollment at a university. Please attach your CV, transcript of records, examination regulations, and a valid work and residence permit if required.
Bosch Rexroth AG values diversity and inclusion and welcomes applications from all candidates, regardless of gender, age, disability, religion, ethnic origin, or sexual identity.
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitFormal Verification of Motion Applications in High-Speed Transport SystemsBosch Rexroth AG is seeking a skilled Formal Verification Expert to contribute to the development of innovative motion control systems.Key Responsibilities:Conduct a thorough analysis of existing formal verification tools and methodologies to identify areas for improvement.Develop and...
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitFormal Verification of Motion Applications in High-Speed Transport SystemsBosch Rexroth AG is seeking a skilled Formal Verification Expert to contribute to the development of innovative motion control systems.Key Responsibilities:Conduct a thorough analysis of existing formal verification tools and methodologies to identify areas for improvement.Develop and...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionAs a researcher at Bosch, you will be part of a team that focuses on developing innovative solutions for motion applications in high-speed transport systems. Your task will be to conduct a thorough analysis of the tools available on the market and evaluate their suitability for formal verification.Key ResponsibilitiesConduct a market scan of...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionAs a researcher at Bosch, you will be part of a dynamic team focused on developing innovative solutions for motion applications in high-speed transport systems. Your task will be to conduct a thorough analysis of the tools available on the market and evaluate their usability and effectiveness in meeting the requirements of formal...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionAs a researcher at Bosch, you will be part of a team that focuses on developing innovative solutions for motion applications in high-speed transport systems. Your task will be to conduct a thorough analysis of the tools available on the market and evaluate their suitability for formal verification.Key ResponsibilitiesConduct a market scan of...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionAs a researcher at Bosch, you will be part of a team that focuses on developing innovative solutions for motion applications in high-speed transport systems. Your task will be to conduct a thorough analysis of the tools available on the market and evaluate their suitability for formal verification.Key ResponsibilitiesConduct a market scan of...
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitJob Opportunity: Formal Verification ExpertBosch Rexroth AG is seeking a highly skilled Formal Verification Expert to join our team.About the Role:We are looking for a talented individual to conduct a thorough analysis of formal verification tools and methodologies.The successful candidate will be responsible for evaluating the suitability of formal...
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitJob Opportunity: Formal Verification ExpertBosch Rexroth AG is seeking a highly skilled Formal Verification Expert to join our team.About the Role:We are looking for a talented individual to conduct a thorough analysis of formal verification tools and methodologies.The successful candidate will be responsible for evaluating the suitability of formal...
-
Lohr am Main, Bayern, Deutschland Gerresheimer AG VollzeitAbout Gerresheimer AGGerresheimer AG is a leading global partner for the pharmaceutical, biotech, healthcare, and cosmetics industries, offering a wide range of products for medication and cosmetics packaging, as well as drug delivery devices. The company is a innovative solution provider from concept to delivery of the final product. Gerresheimer achieves...
-
Climate Protection Expert
Vor 7 Tagen
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsWe are a leading provider of drive and control technologies that move machines and projects of all sizes around the world. We impress our customers with intelligent components, customized system solutions, and services for fully networked applications up to the factory of the future. Do you also want to move more? Welcome to Bosch Rexroth.We Look...
-
Climate Protection Expert
vor 1 Woche
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsWe are a leading provider of drive and control technologies that move machines and projects of all sizes around the world. We impress our customers with intelligent components, customized system solutions, and services for fully networked applications up to the factory of the future. Do you also want to move more? Welcome to Bosch Rexroth.We Look...
-
Machine Tool Operator
vor 1 Woche
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsWe are a leading provider of motion control and drive technology, serving customers of all sizes around the world. Our intelligent components, customized system solutions, and services enable fully connected applications from the Internet of Things to the Factory of the Future. Are you ready to move with us?We are excited to receive your...
-
Machining Specialist for Servo Valve Components
vor 4 Wochen
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob Overview Execute deburring processes on components featuring intricate hole patterns and delicate edge finishing near high-precision functional areas. Engage with a diverse range of components, including sleeves, housings, and covers, each presenting unique outer and inner geometries. Process and prepare raw materials for various manufacturing...
-
Precision Machinist
Vor 4 Tagen
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsWe are a leading provider of motion control and drive technology, serving customers of all sizes around the world. Our intelligent components, customized system solutions, and services enable fully networked applications from the Internet of Things to the Factory of the Future. Are you ready to move with us?We are excited to receive your...
-
Precision Machinist
Vor 4 Tagen
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsWe are a leading provider of motion control and drive technology, serving customers of all sizes around the world. Our intelligent components, customized system solutions, and services enable fully networked applications from the Internet of Things to the Factory of the Future. Are you ready to move with us?We are excited to receive your...
-
Expert in Glass Container Design
vor 4 Wochen
Lohr am Main, Bayern, Deutschland Gerresheimer VollzeitPosition OverviewJoin Gerresheimer, a prominent player in the Pharma and Healthcare sector, as an Expert in Glass Container Design. This role focuses on the innovative design of glass products aimed at enhancing customer satisfaction.Key ResponsibilitiesEngage in the proactive design of glass vessels, prioritizing client needs.Develop initial studies on...
-
Smart Factory Engineer
Vor 5 Tagen
Lohr am Main, Bayern, Deutschland Gerresheimer AG VollzeitAbout Gerresheimer AGGerresheimer AG is a global leader in the development and production of pharmaceutical and biotech packaging solutions. With a wide range of products and services, we support our customers in bringing innovative products to market. Our company is known for its innovative spirit, industrial expertise, and commitment to quality and...
-
Smart Factory Engineer
Vor 5 Tagen
Lohr am Main, Bayern, Deutschland Gerresheimer AG VollzeitAbout Gerresheimer AGGerresheimer AG is a global leader in the development and production of pharmaceutical and biotech packaging solutions. With a wide range of products and services, we support our customers in bringing innovative products to market. Our company is known for its innovative spirit, industrial expertise, and commitment to quality and...
-
Master's Program for Ambitious Graduates
vor 1 Woche
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsBosch Rexroth is a leading provider of drive and control technologies that move machines and projects of all sizes around the world. We inspire our customers with intelligent components, customized system solutions, and services for fully networked applications up to the factory of the future.Our MissionWe are committed to making a positive impact on...
-
Master's Program for Ambitious Graduates
Vor 7 Tagen
Lohr am Main, Bayern, Deutschland Bosch VollzeitAbout UsBosch Rexroth is a leading provider of drive and control technologies that move machines and projects of all sizes around the world. We inspire our customers with intelligent components, customized system solutions, and services for fully networked applications up to the factory of the future.Our MissionWe are committed to making a positive impact on...
