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.
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: rafi.shalom@gmail.com LinkedIn: https://www.linkedin.com/in/rafi-shalom-b2248b54/ Time zone: UTC+3