Formal Verification Expert for High-Speed Transport Systems
Vor 6 Tagen
Bosch 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 implement a formal verification model for a practical motion control application.
- Evaluate the effectiveness of formal verification in improving development efficiency and reducing errors.
- Collaborate with cross-functional teams to integrate formally verified code into existing systems.
- Analyze the performance and quality of formal verification tools, including state space explosion, export and import functionalities.
Requirements:
- Master's degree in Computer Engineering, Software Development, or a related field.
- Experience in formal verification, software development, and programming skills in C and C++.
- Strong analytical and problem-solving skills, with the ability to work independently and collaboratively.
- Excellent communication and interpersonal skills, with the ability to explain complex technical concepts to non-technical stakeholders.
- Proficiency in written and spoken English.
Additional Information:
Bosch Rexroth AG is an equal opportunities employer and welcomes applications from diverse candidates. Please attach your CV, transcript of records, and any other relevant documentation.
-
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 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 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...
-
Invoice Verification Associate
vor 4 Wochen
Lohr am Main, Bayern, Deutschland Gerresheimer VollzeitPosition OverviewWe are seeking a meticulous and organized individual to become a part of our finance team as an Invoice Verification Specialist. In this role, you will play a crucial part in managing the invoice auditing process, collaborating with a decentralized team.Key Responsibilities:Oversee the operations at our production facilityEnsure the accuracy...
-
High-Rise Polishing Expert
vor 1 Woche
Lohr am Main, Bayern, Deutschland Siegler-Bau GmbH VollzeitAbout UsSiegler-Bau GmbH is a renowned, mid-sized company founded in 1985 by Johannes Siegler in Lohr am Main. Our team of skilled professionals is active in almost all areas of the construction industry. Our portfolio in civil and road construction includes new construction, renovation, or expansion of roads and paths, outdoor facilities, site development,...
-
High-Rise Polishing Expert
Vor 6 Tagen
Lohr am Main, Bayern, Deutschland Siegler-Bau GmbH VollzeitAbout UsSiegler-Bau GmbH is a renowned, mid-sized company founded in 1985 by Johannes Siegler in Lohr am Main. Our team of skilled professionals is active in almost all areas of the construction industry. Our portfolio in civil and road construction includes new construction, renovation, or expansion of roads and paths, outdoor facilities, site development,...
-
Lohr am Main, Bayern, Deutschland Steamulation Jobs VollzeitJobbeschreibungAls Fahrer/in bei Steamulation bist du für den ordnungsgemäßen Transport von Waren verantwortlich. Du sorgst dafür, dass alle Warenbewegungen sicher und strukturiert ablaufen.AufgabenbereicheWarentransport: Be- und Entladen deines Fahrzeugs, Transport unserer Produkte im Umkreis von 100km um Lohr am Main, Pflege der FahrzeugeUnterstützung...
-
Lohr am Main, Bayern, Deutschland Steamulation Jobs VollzeitJobbeschreibungAls Fahrer/in bei Steamulation bist du für den ordnungsgemäßen Transport von Waren verantwortlich. Du sorgst dafür, dass alle Warenbewegungen sicher und strukturiert ablaufen.AufgabenbereicheWarentransport: Be- und Entladen deines Fahrzeugs, Transport unserer Produkte im Umkreis von 100km um Lohr am Main, Pflege der FahrzeugeUnterstützung...
-
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 Steamulation Jobs VollzeitÜberblick über die AufgabenAls Fahrer/in bei Steamulation bist du für den ordnungsgemäßen Transport unserer Ware verantwortlich. Du wirst modern ausgestattete Fahrzeuge nutzen, um unsere Produkte sicher und pünktlich zu den Kunden zu liefern.AufgabenbereicheWarentransport: Be- und Entladen deines Fahrzeugs, Transport unserer Produkte im Umkreis von...
-
Lohr am Main, Bayern, Deutschland Steamulation Jobs VollzeitÜberblick über die AufgabenAls Fahrer/in bei Steamulation bist du für den ordnungsgemäßen Transport unserer Ware verantwortlich. Du wirst modern ausgestattete Fahrzeuge nutzen, um unsere Produkte sicher und pünktlich zu den Kunden zu liefern.AufgabenbereicheWarentransport: Be- und Entladen deines Fahrzeugs, Transport unserer Produkte im Umkreis von...
-
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 global partner for the pharmaceutical, biotechnology, healthcare, and cosmetics industries, offering a wide range of products for medication and cosmetics packaging, as well as drug delivery devices. The company is an 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 global partner for the pharmaceutical, biotechnology, healthcare, and cosmetics industries, offering a wide range of products for medication and cosmetics packaging, as well as drug delivery devices. The company is an innovative solution provider from concept to delivery of the final product. Gerresheimer achieves...
-
ERP-Experte für die KION Battery Systems GmbH
Vor 2 Tagen
Karlstein am Main, Bayern, Deutschland KION Battery Systems GmbH VollzeitJobbeschreibungWir suchen einen erfahrenen ERP-Experten, der sich auf die Implementierung und den Betrieb von ERP-Systemen spezialisiert hat. Der Kandidat wird Teil unseres Teams sein und sich auf die folgenden Aufgaben konzentrieren:AufgabenProduktmanagement für das ERP-System: Anforderungsaufnahme, Planung und Weiterentwicklung von Prozessen und...
-
ERP-Experte für die KION Battery Systems GmbH
Vor 2 Tagen
Karlstein am Main, Bayern, Deutschland KION Battery Systems GmbH VollzeitJobbeschreibungWir suchen einen erfahrenen ERP-Experten, der sich auf die Implementierung und den Betrieb von ERP-Systemen spezialisiert hat. Der Kandidat wird Teil unseres Teams sein und sich auf die folgenden Aufgaben konzentrieren:AufgabenProduktmanagement für das ERP-System: Anforderungsaufnahme, Planung und Weiterentwicklung von Prozessen und...
-
Lohr am Main, Bayern, Deutschland Bosch Rexroth AG VollzeitPosition Overview:At Bosch Rexroth AG, we present a comprehensive dual study program designed to equip students with essential skills in business administration tailored for the industrial sector. Participants will engage in resolving real-world business challenges by utilizing contemporary management techniques grounded in scientific methodologies.Main...
