Join the team that's changing the way the IT world works
At Panaya, we are revolutionizing the way the IT world develops and maintains applications. Panaya is an energized, collaborative group where every person’s ideas and contributions matter. Panaya's employees combine classic engineering with academic level research while continuously learning and exploring new domains. We travel the most direct route to creativity and improvement - in the products we deliver, in the way we work. Our down-to-earth, open-door work style defines our environment. We believe in the power of our product solutions and will tirelessly pursue the boundaries of their potential, and then boldly cross those boundaries.
If you are ready to feed the Panaya phenomenon, it’s time to join a company whose future you will shape indelibly. We are looking for passionate, motivated people in all areas of the company. This isn’t your average place to work - this is Panaya. If you are creative, motivated, and want to drive technological innovations, Panaya could be the place for you...
•Understand and further expand industry knowledge of Program Comprehension
•Design, implement and verify Panaya’s core algorithms
Skills/Qualifications
•A PhD in CS in one of the following areas (or similar)
oStatic code analysis
oCompilation
oPattern matching
oConstraint satisfaction
oModel checking
•Desire to become an expert in the field of program analysis
•At least 3 years experience in implementing algorithms with complex data structures in an OO environment is required (commercial or academic environment )
•Strong programming capabilities
•Experience in software product development - a big advantage
