Ask HN: Who wants to be hired? (August 2025) 12 months ago
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: rafi.shalom@gmail.com LinkedIn: https://www.linkedin.com/in/rafi-shalom-b2248b54/ Time zone: UTC+3