Hire the Best COBOL Programmers
in the United Kingdom

Lead Software/Data developer with over 9 years' experience in Mainframes and I have worked with US based clients in Healthcare, Banking and trade finance sectors such as BCBS Mn, Cigna and the US Bank. Whether you’re trying to win work, list your services or create a cobol program – I can help! I’m extensively experienced in JCL, COBOL, VSAM, DB2. Also, I recently completed my master's in data science in United Kingdom and working as Data Engineer for a reputed organization in UK. I am well versed in SQL, Stored procedures and Python to extract data from rest API's and utilize them for Data Analytics, Visualization and Machine Learning. Secondary Skillset: Python, SQL, Stored procedures, Data Engineering, ETL, Data Science.

I work in two main areas as a Freelancer: Firstly, I'm an editor and proof reader, specialising in academic writing. I have a background as an experienced and well-qualified teacher of English for Academic Purposes and a published author of coursebooks for students learning English. I have expert Word editing skills, my grammar is perfect and I can help you get the very best from your project. Please note that as a professional proof reader and editor my minimum charge for these services is $20 per 1000 words submitted. I also provide copywriting and web content authoring services. Secondly, I'm a voice-over artist and musician; I have a rich and natural male British accent and have professional recording equipment that can produce broadcast-ready audio in any format. In addition to these services, as a former COBOL programmer, I have html editing skills and experience of running test scripts. I take a professional approach to freelance work and guarantee to return all work to deadline and within budget.

I am a software developer with a strong foundation in logic and computer science. My expertise lies in building robust software solutions, particularly within the realms of build systems, programming languages, developer tools, and proof assistants. I have substantial experience contributing to and maintaining large-scale open-source projects like Dune and the Coq Proof Assistant, where I’ve developed new features, improved infrastructure, and enhanced user experience. Skills: - Proficient in OCaml and Coq - Intermediate knowledge of C, Haskell, Agda, and Python - Experience with Rust, C++, C#, and Java What I can do for you: - Full software development life cycle, from initial concept to final delivery - Specialized in mathematically inclined software projects and formalization tasks - Regular communication to ensure alignment with your project goals Let’s collaborate to bring your project to life.