Hi, I'm Jonathan Shalev - Software Engineer (60%) at Google
I architect and build complex, reliable software systems, blending deep technical expertise with a passion for innovation. I thrive on solving challenging R&D problems and pushing the boundaries of what's possible in software engineering.
At a glance
Curated signals on strengths, focus areas, and how they can help.
Led R&D in formal verification and automatic test generation at Intel.
Building robust, high-availability systems in Java on Linux at Google.
Can help others by architecting resilient, complex software systems.
🚀 Career trajectory
Foundational Research
Began career with a postdoctoral research position, building a strong academic and research foundation.
✦ Postdoctoral Researcher
✦ Academic Research
Industry Innovation at Intel
Transitioned to Intel, contributing to core software engineering and specialized areas like business continuity and systems engineering.
✦ Software Engineer
✦ Systems Engineering
✦ Business Continuity
Modern Software Engineering
Currently applying extensive experience as a Software Engineer at Google, focusing on modern development in Java on Linux.
✦ Software Engineer
✦ Java
✦ Linux
💪🏻 Superpowers
Architecting Resilient Systems
Proven ability to design and build robust, high-availability systems.
✦ Deep experience in NAS and high-availability cluster design.
✦ Expertise in business continuity, backup, and recovery solutions.
✦ Skilled in formal verification for system reliability.
Bridging Research and Industry
Translating cutting-edge research into practical software solutions.
✦ Background in academic research with publications and presentations.
✦ Experience in R&D, driving innovation in software development.
✦ Ability to implement complex algorithms and designs.
Cross-Functional Engineering
Versatile engineer adept at diverse technologies and problem domains.
✦ Proficient in multiple languages like C++, Python, Java, and Perl.
✦ Extensive experience with Linux/Unix environments and systems engineering.
✦ Skilled in debugging and optimizing software across various platforms.
I'm excited about
✦ Exploring advanced system architecture challenges.
✦ Connecting with peers in cutting-edge software development.
✦ Discovering opportunities for impactful technical leadership.
I can help with
✦ Share insights on building highly available and resilient systems.
✦ Offer guidance on formal verification techniques in software engineering.
✦ Provide perspectives on navigating complex R&D projects.
I would love your help on
✦ Recommendations for emerging trends in distributed systems.
✦ Introductions to experts in cloud-native architectures.
✦ Discussions on novel approaches to software testing and verification.