Formal Verification Specialist

vor 3 Wochen

Lohr am Main, Bayern, Deutschland Bosch Rexroth AG Vollzeit
Expert in Formal Verification of Motion Applications

Bosch 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 usability and effectiveness.
  • Develop a model for formal verification based on a practical application in the field of motion control systems.
  • Evaluate the suitability of formal verification methodologies in real-world scenarios.
  • Identify and implement state-of-the-art engineering solutions to enhance development efficiency.
  • Analyze the performance and quality of formal verification tools, 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 and knowledge in formal verification, software development, and programming skills in C and C++.
  • Independent, proactive, communicative, analytical, and logical thinking skills.
  • Good communication skills in written and spoken English.

Additional Information:

This is a temporary position with a duration of 4-6 months. The requirement for this position is enrollment at a university. Please attach your CV, transcript of records, and examination regulations. Diversity and inclusion are core values at Bosch Rexroth AG, and we welcome applications from all qualified candidates.

  • Formal Verification Specialist

    vor 4 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Rexroth AG Vollzeit

    Expert 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 Vollzeit

    Expert 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 Vollzeit

    Expert 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 Vollzeit

    Expert 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 Vollzeit

    Expert 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 Vollzeit

    Expert 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 for High-Speed Transport Systems

    vor 3 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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...

  • Formal Verification Specialist for High-Speed Transport Systems

    vor 3 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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...

  • Formal Verification Specialist for High-Speed Transport Systems

    vor 4 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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...

  • Formal Verification Specialist for High-Speed Transport Systems

    vor 4 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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...

  • Formal Verification Specialist for High-Speed Transport Systems

    Vor 4 Tagen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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...

  • Formal Verification Specialist for High-Speed Transport Systems

    Vor 3 Tagen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job 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 Formal Verification Engineer

    vor 4 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job DescriptionWe 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...

  • Senior Formal Verification Engineer

    vor 4 Wochen

    Lohr am Main, Bayern, Deutschland Bosch Vollzeit

    Job DescriptionWe 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...

  • Senior Formal Verification Engineer for Motion Applications

    Vor 4 Tagen

    Lohr am Main, Bayern, Deutschland Bosch Rexroth AG Vollzeit

    Senior 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...

  • Logistics Specialist Trainee

    vor 2 Monaten

    Lohr am Main, Bayern, Deutschland Bosch Rexroth AG Vollzeit

    Job DescriptionAs a Logistics Specialist Trainee at Bosch Rexroth AG, you will be responsible for all material flows within the company. This includes ensuring the quality of incoming goods, coordinating the transportation and storage of materials, and providing the necessary materials to production and assembly areas.Key Responsibilities:Coordinate the flow...

  • Human Resources Specialist

    vor 4 Wochen

    Obernburg am Main, Bayern, Deutschland NAMSA Vollzeit

    Job SummaryWe are seeking a highly skilled Human Resources Support professional to join our team at NAMSA. As a key member of our HR team, you will provide support to our Laboratory Services, as well as other business lines, including Clinical and Consulting.Key ResponsibilitiesAnticipate and meet the evolving needs of the organization for assigned...

  • Human Resources Specialist

    vor 4 Wochen

    Obernburg am Main, Bayern, Deutschland NAMSA Vollzeit

    Job SummaryWe are seeking a highly skilled Human Resources Support professional to join our team at NAMSA. As a key member of our HR team, you will provide support to our Laboratory Services, as well as other business lines, including Clinical and Consulting.Key ResponsibilitiesAnticipate and meet the evolving needs of the organization for assigned...

  • Human Resources Specialist

    vor 4 Wochen

    Obernburg am Main, Bayern, Deutschland NAMSA Vollzeit

    Job SummaryNAMSA is a pioneering company in the medical device industry, and we are seeking a highly skilled Human Resources Support professional to join our team. As a key member of our HR team, you will play a critical role in supporting the development and implementation of HR strategies that drive business success.Key ResponsibilitiesProvide HR support...

  • Human Resources Specialist

    vor 4 Wochen

    Obernburg am Main, Bayern, Deutschland NAMSA Vollzeit

    Job SummaryNAMSA is a pioneering company in the medical device industry, and we are seeking a highly skilled Human Resources Support professional to join our team. As a key member of our HR team, you will play a critical role in supporting the development and implementation of HR strategies that drive business success.Key ResponsibilitiesProvide HR support...