3 of 3 Permanent C Jobs in West End of London

Sr Lead Software Engineer

Location
Westminster, West End, United Kingdom
applied experience Hands-on practical experience delivering system design, application development, testing, and operational stability Advanced knowledge and demonstrated skills in in programming languages C and C++ Demonstrated experience leading effective use of enterprise-authorized AI-assisted software development tools within the work environment (e.g., for coding, code review, test ...

Sr Manager of Software Engineering

Hiring Organisation
Hackajob Ltd
Location
Westminster, Greater London, UK
applied experience Hands-on practical experience delivering system design, application development, testing, and operational stability Advanced knowledge and demonstrated skills in in programming languages C and C++ Demonstrated experience leading effective use of enterprise-authorized AI-assisted software development tools within the work environment (e.g., for coding, code review, test ...

Research Scientist

Hiring Organisation
Hackajob Ltd
Location
Westminster, Greater London, UK
improve AI agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant. Formalize the semantics of programming languages (e.g., C/C++) in Lean and build verified static analyses on top of these formalizations. Design and run experiments evaluating AI-driven proof search, including benchmarking ...