Master Thesis, 30 hp: Develop and Map Product Line Model to CP-SAT

Location: Göteborg, Sweden

Company

hirify.global is a defense and security company that designs, manufactures, and maintains advanced systems in aeronautics, weapons, command and control, sensors, and underwater systems.

What you will do

• Develop an abstract product structure domain for complex configurable products.
• Map product-line constructs to the K-SAT and CP-SAT domains.
• Map product structures, requirements, tests, and documentation from diverse data sources and models.
• Build and evaluate the model using real-world data.
• Benchmark commercial or free CP-SAT solvers, such as Google OR-Tools.
• Investigate late evaluation in air-gapped environments and partial early evaluation to reduce shared information.

Requirements

• Final-stage Computer Science master’s student or equivalent, about to begin a 30 hp thesis project.
• Interest in discrete optimization and product-line engineering.
• Familiarity with NP-completeness, K-SAT/3-SAT, and software engineering in general.
• The project is suitable for two students.
• Ability to pass security vetting under current security-protection regulations; additional citizenship obligations may apply if security clearance is required.

Culture & Benefits

• Collaboration with experienced engineers and specialists.
• Support and guidance for translating theoretical knowledge into practical solutions.
• Opportunity to contribute to defense and security technology while gaining practical engineering experience.

Hiring process

• Applications are reviewed on an ongoing basis and the position may be filled before the closing date.
• Closing date: 1 November 2026.