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