rafishalom

Location: Remote Willing to relocate: No

Researcher with industry experience (PhD in CS, reactive synthesis, ICSE/FSE papers). Strong foundation in logic, formal methods, and theoretical CS. Recent work blends symbolic reasoning and LLMs (e.g., SMT + embeddings) for applied AI/data systems.

Looking for high-end opportunities—research or leadership roles with flexibility, strong compensation (salary, equity), and impact. Part-time or fractional considered. Remote.

Email: [email protected] LinkedIn: https://www.linkedin.com/in/rafi-shalom-b2248b54/ Time zone: UTC+3