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 Applications

Bosch 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 evaluate formal verification tools for motion control applications
  • Collaborate with cross-functional teams to integrate formal verification into the development process
  • Analyze and improve the performance and quality of formal verification tools
  • Communicate complex technical information to both technical and non-technical stakeholders

Requirements:

  • Master's degree in Computer Engineering, Software Development, or a related field
  • Proven experience in formal verification and motion control systems
  • Excellent communication and problem-solving skills
  • Strong understanding of C and C++ programming languages

What We Offer:

  • A dynamic and collaborative work environment
  • Opportunities for professional growth and development
  • A competitive salary and benefits package


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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

  • Smart Factory Engineer

    vor 2 Monaten


    Lohr am Main, Bayern, Deutschland Gerresheimer AG Vollzeit

    About 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 2 Monaten


    Lohr am Main, Bayern, Deutschland Gerresheimer AG Vollzeit

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


  • Lohr am Main, Bayern, Deutschland Rexroth Vollzeit

    Join Our Team as a PreMaster for Electronics and Software DevelopmentWe are looking for a highly motivated and talented individual to join our PreMaster program in the field of Electronics and Software Development. As a PreMaster, you will have the opportunity to gain practical experience and develop your skills in a dynamic and innovative environment.Key...


  • Lohr am Main, Bayern, Deutschland Rexroth Vollzeit

    Join Our Team as a PreMaster for Electronics and Software DevelopmentWe are looking for a highly motivated and talented individual to join our PreMaster program in the field of Electronics and Software Development. As a PreMaster, you will have the opportunity to gain practical experience and develop your skills in a dynamic and innovative environment.Key...