Petr Maj joined the leadership of ReactorLabs after working on Scalable data analytics at 0xData in Mountain View USA and on Compiler technologies at Sony in Bristol, UK.
Jakub Zitny works with Javascript and uses machine learning techniques to analyze large codebases and package health assessment.
Maros Anderko investigates the costs and limits of speculative optimizations for R-like dynamic programs and their benefits for the overall application performance.
Floreal Morandat advises ReactorLabs and teaches at the University of Bordeaux. Prof. Morandat's expertise lies in Compiler implementation and Object-Oriented technology.
Pavel Parízek is a Professor at the Department of Distributed and Dependable Systems at Charles University in Prague where he works practical program analysis and verification. He advises ReactorLabs scalable model checking and static analysis.
Ondřej Lhoták is an Associate Professor at the University of Waterloo, Canada. Ondrej advises Reactor-Lab on programming language implementation, scalable program analysis, BDDs, alias analysis, and automatic parallelization.
Michal Malohlava has expertise in scaling data analytics applications and distributed enterprise solutions. He advises ReactorLabs on BigData technologies.
We are always keen to hear from highly motivated people with passion for computer languages. Joining our team has many benefits. You will be working among experts in virtual machines, compilers and language design in a friendly atmosphere with emphasis to your own growth. We expect you to be able to perform independently and we will value your creativity. Your work will comprise of the most challenging problems in the execution optimization and several research opportunities.
If you are interested, please send us your CV and motivation letter. Bear in mind that our offices are in Prague and you must be allowed to legally work in the EU prior joining us.