3 Constraint Programming Jobs

We are looking for an Optimization Specialist who will be responsible for developing and deploying advanced analytical solutions leveraging mathematical optimization techniques. As an Optimization Specialist, you will have a crucial role in shaping the future of manufacturing operations by designing, developing, and deploying innovative scheduling solutions to optimize complex business processes. The ideal candidate for this position will excel in formulating and solving various optimization problems such as LP, MILP, combinatorial optimization, and scheduling. You should be adept at applying innovative algorithms to achieve optimal solutions. In this role, you will be working with a technical environment that includes language Python, frameworks like COIN-OR, PyTorch, NumPy, SciPy, Pyomo, and Django, application architecture that is scalable, resilient, reactive, event-driven, and secure microservices architecture, and cloud services provided by AWS. Your responsibilities will include designing, developing, and implementing advanced mathematical optimization models and solvers to address complex business challenges across various domains. You will identify and model optimization problems in different manufacturing businesses, design and implement robust optimization algorithms, evaluate and select appropriate solvers, and develop machine learning models to support data-driven decision-making. To qualify for this position, you should have 1-3 years of experience in Operations Research and Python programming, a Bachelor's degree in Operations Research, Applied Mathematics, Statistics, Computer Science, Data Science, or a related field, experience in building optimization models from scratch, knowledge of constraint programming, and proficiency in statistical analysis tools such as Python. Strong problem-solving abilities, creativity, and effective communication skills are essential. Join our team at Techtinium, where we have a passion for innovative products and a commitment to delivering superior software solutions. We value our team members and provide a positive, collaborative environment where your skills will be honed across the software development lifecycle. If you are ready for an exciting professional adventure, explore opportunities with us at https://techtinium.com/. We are eager to welcome you to our team!,

We are looking for an Optimization Specialist who will be responsible for developing and deploying advanced analytical solutions using mathematical optimization techniques. In this role, you will be instrumental in shaping the future of manufacturing operations by creating innovative scheduling solutions that optimize complex business processes. As the ideal candidate, you should excel in formulating and solving various optimization problems such as LP, MILP, combinatorial optimization, and scheduling. You should be proficient in applying innovative algorithms to achieve optimal solutions. Your primary responsibilities will include designing, developing, and implementing advanced mathematical optimization models and solvers to address complex business challenges in areas like scheduling, routing, resource allocation, and inventory management. You will also be involved in identifying and modeling optimization problems across different manufacturing businesses and implementing robust optimization algorithms. In addition to this, you will be required to design, develop, and deploy machine learning models to analyze large datasets and generate insights that support data-driven decision-making, specifically related to enhancing the performance of optimization algorithms. You will also need to keep abreast of the latest developments in optimization and computational intelligence and incorporate these advancements into problem-solving strategies. The qualifications we are looking for in a candidate include 1-3 years of experience in Operations Research and Python programming, a Bachelor's degree in Operations Research, Applied Mathematics, Statistics, Computer Science, Data Science, or a related field, experience in building optimization models from scratch, knowledge of constraint programming, and experience with both non-commercial and commercial optimization solvers. Strong statistical analysis skills and effective communication skills are also essential for this role. Join Techtinium, a company passionate about innovative products, where you will be part of a diverse team dedicated to delivering superior software solutions. At Techtinium, your skills will be honed across the entire software development lifecycle in a positive, thought-provoking, and collaborative environment. If you are ready for an exciting professional adventure, explore opportunities with us at https://techtinium.com/. We look forward to welcoming you to our team!,

We are seeking a QA Engineer with expertise in system testing , and automated test frameworks to validate and ensure the accuracy of Variant Solver algorithms . The ideal candidate will have experience in constraint programming , solver validation , and performance bench marking . Key Responsibilities: Design and implement unit tests to validate individual components of the Variant Solver . Conduct system testing to ensure the solver functions correctly in integrated environments. Develop automated test scripts using JUnit or TestNG . Identify edge cases and create comprehensive test scenarios for constraint-solving algorithms . Collaborate with developers to refine solver accuracy and optimize performance. Perform regression testing to ensure solver updates do not introduce defects. Analyze test results and provide detailed reports on solver behavior and efficiency. Stay updated with the latest advancements in solver testing methodologies . Requirements: BE or BTech, 3 to 6 years of experience in QA testing for algorithm-based applications. Strong proficiency in Java, Python, or C++ for test automation. Hands-on experience with unit testing frameworks like JUnit, PyTest, or TestNG . Knowledge of constraint solvers such as Z3 Solver, Choco Solver, or Google OR-Tools . Experience in performance testing and benchmarking solver efficiency . Ability to work collaboratively with developers and researchers. Strong analytical and problem-solving skills. Experience contributing to open-source projects related to solver testing. Familiarity with formal verification and symbolic reasoning . Understanding of parallel computing and high-performance solver implementations . Knowledge of graph algorithms and heuristic search methods .