# Hire the best remote Logic Programming employees

Discover 17 remote Logic Programming workers who are looking for their next full-time, part-time or freelance opportunity on Himalayas.

Source: https://himalayas.app/talent/logic-programming

## 17 remote workers

| Person | Role | Location | Salary expectations | Intro |
| --- | --- | --- | --- | --- |
| [Egor Iakobson](https://himalayas.app/@egoriakobson) | AI Architect | Latvia |  | I build reliable AI agents, prompt systems, and automation tools with strict structured outputs. |
| [Jana Hasan](https://himalayas.app/@janahasan) | Linguistic AI Auditor | Egypt |  | I audit LLM reasoning and annotate AI data to ensure ethical, accurate outputs. |
| [Mayuri Sunkari](https://himalayas.app/@mayurisunkari) | Controls Engineer | United States | 102k+ USD | Controls & Automation Engineer at Vanderlande who programmed packaging lines sustaining 99.1% uptime and built SCADA across 240+ I/O points. |
| [Ömer Faruk Söylemez](https://himalayas.app/@merfaruksylemez) | AI Training Specialist | Turkey |  | I train and evaluate language models through RLHF, logic analysis, fact-checking, and bilingual data creation. |
| [Peter Lopez](https://himalayas.app/@peterlopez) | Program Manager | United States | 96k+ USD | Contracts Manager at LOGIC managing utility infrastructure programs and improving portfolio reporting. |
| [Lucas Böltz](https://himalayas.app/@lucasboeltz) | Research Scientist | Germany |  | I verify graph algorithms through formal logic, automated reasoning, and rigorous mathematical analysis. |
| [Skala User](https://himalayas.app/@skalauser) | Machine Learning Engineer | United States |  | I’m an AI/ML and LLM builder blending mathematical reasoning with production-ready evaluation, OCR, and generative systems. |
| [Faizal Abdul manaf](https://himalayas.app/@faizalabdulmanaf) | Risk Analyst | Indonesia |  | I analyze Web3, AI, and governance systems to expose logic-layer risks before deployment. |
| [Hulisani Rambau](https://himalayas.app/@hulisanirambau) | Software Engineer | South Africa |  | I build reliable AI agents, automation workflows, and Python-based reasoning experiments. |
| [Firaol Teshome](https://himalayas.app/@firaolteshome) | Linguistics Specialist | Ethiopia |  | I’m a Linguistic Logic Specialist building accurate Oromo AI data with analytical rigor. |
| [KAY User](https://himalayas.app/@kayuser11) | AI Training Specialist | Nigeria |  | I evaluate AI reasoning and build high-conversion digital operations. |
| [Rishabh Rajput](https://himalayas.app/@rishabhrajput1) | AI Engineer | India | 70k+ INR | Solutions Operations Associate at GLG transitioning into AI engineering; built DocMind AI with 90% citation accuracy. |
| [Carlos Alberto Delgadillo Gallegos](https://himalayas.app/@carlosalbertodelgadi) | Mechatronics Engineer | Mexico | 240k+ MXN | Mechatronics engineer at Magna International developing Python and AI tools for industrial control alarms and robotic routines. |
| [Kalyan Vutukuri](https://himalayas.app/@kalyanvutukuri) | Automation Engineer | United States | 97k+ INR | I build and commission PLC, HMI, SCADA, and IIoT systems that improve manufacturing uptime. |
| [Shreyash Rahinj](https://himalayas.app/@shreyashrahinj) | AI Engineer | India | 2196k+ INR | AI Engineer at eQ Technologic building persistent agent memory and multi-agent analytics systems. |
| [Владислав Онищук](https://himalayas.app/@0007752) | C++ Developer | Ukraine | 70k+ USD | AI Solutions Engineer at Teramind, developing production AI agents and Python automation for engineering and business workflows. |
| [Lokesh Pareek](https://himalayas.app/@lokeshpareek1) | Python Developer | India |  | I build Python tools and refine AI prompts for practical automation. |

Page 1 of 1.

To contact someone, message them from their profile with a Himalayas employer account: [Hire on Himalayas](https://himalayas.app/hire).