Senior Formal Verification Engineer
vor 4 Wochen
We are seeking a skilled Formal Verification Engineer to join our team at Bosch. As a key member of our team, you will be responsible for designing and implementing formal verification methodologies for high-speed transport systems.
Key Responsibilities:- Conduct a thorough analysis of existing tools and methodologies to identify areas for improvement.
- Develop and implement formal verification models for motion applications.
- Evaluate the suitability of formal verification methodologies in practice.
- Determine state-of-the-art engineering solutions to improve development efficiency.
- Analyze the performance and quality of tools, including state space explosion, export and import functionalities.
- Integrate and analyze the performance of formally verified code.
- Master's degree in Computer Engineering, Software Development, or a related field.
- Experience in formal verification, with a strong background in software development 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.
This is a 4-6 month assignment, and the requirement for this thesis is enrollment at a university. Please attach your CV, transcript of records, examination regulations, and if indicated, a valid work and residence permit.
Diversity and inclusion are firmly anchored in our corporate culture, and we welcome all applications, regardless of gender, age, disability, religion, ethnic origin, or sexual identity.
-
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 4 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 4 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 2 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 2 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 2 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 2 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...
-
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...
-
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 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...
-
Senior Engineer Sensor Packaging
vor 3 Wochen
Klingenberg am Main, Bayern, Deutschland WIKA Alexander Wiegand SE & Co. KG Vollzeit{"h1": "Senior Engineer Sensor Packaging", "p": "Wir suchen einen erfahrenen Senior Engineer Sensor Packaging, der sich auf die Entwicklung und Qualifizierung neuer, innovativer Sensortechnologien mit dem Fokus auf Aufbau- und Verbindungstechnik spezialisiert hat. Der Senior Engineer Sensor Packaging wird die Einführung neuer Technologien für die...
-
Senior Engineer Sensor Packaging
vor 3 Wochen
Klingenberg am Main, Bayern, Deutschland WIKA Alexander Wiegand SE & Co. KG Vollzeit{"h1": "Senior Engineer Sensor Packaging", "p": "Wir suchen einen erfahrenen Senior Engineer Sensor Packaging, der sich auf die Entwicklung und Qualifizierung neuer, innovativer Sensortechnologien mit dem Fokus auf Aufbau- und Verbindungstechnik spezialisiert hat. Der Senior Engineer Sensor Packaging wird die Einführung neuer Technologien für die...
-
Senior Engineer Sensor Packaging
Vor 7 Tagen
Klingenberg am Main, Bayern, Deutschland WIKA Alexander Wiegand SE & Co. KG Karriere VollzeitAls Senior Engineer Sensor Packaging sind Sie verantwortlich für die Entwicklung und Qualifizierung neuer, innovativer Sensortechnologien mit dem Fokus auf Aufbau- und Verbindungstechnik. Ihre AufgabenEntwicklung von Sensortechnologien für die Herstellung von hochgenauen SensorenEinführung von neuen Technologien für die Herstellung von...
-
Senior Engineer Sensor Packaging
vor 2 Wochen
Klingenberg am Main, Bayern, Deutschland WIKA Alexander Wiegand SE & Co. KG Karriere VollzeitSenior Engineer Sensor PackagingIhre AufgabenEntwicklung und Qualifizierung neuer, innovativer Sensortechnologien mit dem Fokus auf Aufbau- und VerbindungstechnikEinführung von neuen Technologien für die Herstellung von SensorenKooperation mit anderen Abteilungen zur Optimierung der ProduktionsprozesseIhre QualifikationenAbgeschlossenes Studium in einem...
-
Senior Engineer Sensor Packaging
vor 2 Wochen
Klingenberg am Main, Bayern, Deutschland WIKA Alexander Wiegand SE & Co. KG Karriere VollzeitSenior Engineer Sensor PackagingIhre AufgabenEntwicklung und Qualifizierung neuer, innovativer Sensortechnologien mit dem Fokus auf Aufbau- und VerbindungstechnikEinführung von neuen Technologien für die Herstellung von SensorenKooperation mit anderen Abteilungen zur Optimierung der ProduktionsprozesseIhre QualifikationenAbgeschlossenes Studium in einem...
