Aktuelle Jobs im Zusammenhang mit Formal Verification Expert for Motion Applications - Lohr am Main, Bayern - Bosch Rexroth AG
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitSenior Formal Verification Engineer for Motion ApplicationsBosch Rexroth AG is seeking a highly skilled Senior Formal Verification Engineer to join their team. As a key member of the motion control group, you will be responsible for designing and implementing formal verification methodologies for high-speed transport systems.Key Responsibilities:Develop and...
-
Formal Verification Specialist
vor 3 Wochen
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Formal Verification Specialist
vor 3 Wochen
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Formal Verification Specialist
vor 3 Wochen
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Formal Verification Specialist
vor 3 Wochen
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Formal Verification Specialist
vor 1 Monat
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Formal Verification Specialist
vor 1 Monat
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitExpert in Formal Verification of Motion ApplicationsBosch Rexroth AG is seeking a highly skilled professional to conduct a thorough analysis of formal verification tools and methodologies in the context of motion applications in high-speed transport systems.Key Responsibilities:Conduct a market scan of available formal verification tools and evaluate their...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team for a thesis project focused on formal verification of motion applications in high-speed transport systems. The successful candidate will have a strong background in formal verification and software development, with experience in programming languages such as C and...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team at Bosch. The successful candidate will be responsible for conducting a thorough analysis of formal verification tools and methodologies in the context of high-speed transport systems.Key ResponsibilitiesConduct a market scan of formal verification tools and evaluate...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team at Bosch. As a key member of our team, you will be responsible for conducting a thorough analysis of formal verification tools and methodologies in the context of high-speed transport systems.Key Responsibilities:Conduct a market scan of formal verification tools and...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team at Bosch. As a key member of our team, you will be responsible for conducting a thorough analysis of formal verification tools and methodologies in the context of high-speed transport systems.Key Responsibilities:Conduct a market scan of formal verification tools and...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team at Bosch. As a key member of our team, you will be responsible for conducting a thorough analysis of formal verification tools and methodologies in the context of high-speed transport systems.Key Responsibilities:Conduct a market scan of formal verification tools and...
-
Lohr am Main, Bayern, Deutschland Bosch VollzeitJob DescriptionWe are seeking a skilled Formal Verification Specialist to join our team at Bosch. As a key member of our team, you will be responsible for conducting a thorough analysis of formal verification tools and methodologies in the context of high-speed transport systems.Key Responsibilities:Conduct a market scan of formal verification tools and...
-
Digital Transformation Expert for Industrial Processes
vor 2 Monaten
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...
-
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 2 Monaten
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 2 Monaten
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...
-
Master's Program for Ambitious Graduates
vor 2 Monaten
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 2 Monaten
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...
-
Smart Factory Engineer
vor 2 Monaten
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...
Formal Verification Expert for Motion Applications
vor 2 Monaten
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.
