Logic Programmer

LA International; United Kingdom; Hybrid; GBP 80,000 - 100,000; Full time

Job summary

A leading consultancy firm is seeking a Logic Programmer for a contract role focused on developing solvers for autonomous Royal Navy vessels. This position requires expertise in logic programming and the ability to manage complex maritime constraints. The successful candidate will collaborate with an established technical team in a remote or hybrid setting, contributing to innovative defence applications.

Qualifications

• Experience developing solvers using ASP, Prolog, or equivalent.
• Experience with system models in JSON.
• Exposure to autonomous systems or compliance-driven applications.

Responsibilities

• Extend and develop solvers for planning and routing.
• Collaborate with engineers and domain experts.
• Work with complex constraints to ensure compliance.

Skills

ASP

Prolog

JSON

Logic-based programming

Solver development

Job description

Logic Programmer - Contract (Approx. 2.5 Months)
Location: UK-based (Remote/Hybrid depending on project needs)
Clearance: UK Nationals only, BPSS check required
Start Date: ASAP
Rate: TBC

We're seeking a Logic Programmer to support the development of a cutting-edge application. You'll work alongside an established technical team to enhance a system that enables automatic, compliant sailing route generation for autonomous Royal Navy vessels.

This is a highly focused role ideal for someone with expertise in logic-based programming and solver development.

Key Responsibilities
Extend and develop solvers for planning and routing, based on logical rule systems.

Collaborate with engineers and domain experts to improve system capabilities.

Work with complex constraints to ensure output complies with maritime and defence requirements.

Required Skills
Experience developing solvers using:

ASP (Answer Set Programming), Prolog, or Equivalent logic programming tools (e.g., Horn clauses).

Experience working with system models defined in JSON.

Exposure to autonomous systems, defence, or compliance-driven applications.


LA International is a HMG approved ICT Recruitment and Project Solutions Consultancy, operating globally from the largest single site in the UK as an IT Consultancy or as an Employment Business & Agency depending upon the precise nature of the work, for security cleared jobs or non-clearance vacancies, LA International welcome applications from all sections of the community and from people with diverse experience and backgrounds.

Award Winning LA International, winner of the Recruiter Awards for Excellence, Best IT Recruitment Company, Best Public Sector Recruitment Company and overall Gold Award winner, has now secured the most prestigious business award that any business can receive, The Queens Award for Enterprise: International Trade, for the second consecutive period.