Mathematical Logic Expert

Job highlights

• Required Skills and Qualifications: . 3 to 6 years of relevant experience in product logic,mathematical modelling,or rule-based systems
• Experience with rule-based configurators,logic engines,or knowledge-based systems

Job Summary:

We are looking for a highly skilled Mathematical Logic Expert with strong expertise in Matlab, rule-based configuration, and product logic handling. The ideal candidate will possess a solid foundation in applied mathematics, logic structuring, and system modelling to support complex product configurations and rule logic design. This role is critical in developing and maintaining robust logical systems that drive our product architecture and customization processes.

Key Responsibilities:

• Design, implement, and validate rule-based configuration systems to manage product logic and constraints.
• Utilize Matlab for modelling, simulations, and logic implementation.
• Translate product and business requirements into logical rules and constraints for configuration engines.
• Collaborate with cross-functional teams including engineering, product management, and IT to ensure logical consistency and scalability.
• Maintain and optimize existing logic modules to improve performance and maintainability.
• Support troubleshooting, debugging, and validation of logic issues in live and test environments.
• Apply propositional and predicate logic to model complex systems and interactions.
• Analyse logical consistencies and implications within large rule sets.
• Document logic designs, rules, and configurations clearly and systematically.

Required Skills and Qualifications:

• 3 to 6 years of relevant experience in product logic, mathematical modelling, or rule-based systems.
• Proficiency in Matlab (programming, simulation, modelling).
• Experience with rule-based configurators, logic engines, or knowledge-based systems.
• Strong grasp of Boolean logic, constraints modelling, and decision systems.
• Ability to understand complex product architectures and translate them into logical frameworks.

Excellent analytical and proble