* 12+ years of experience in Java & JVM (J2SE, JNI, JUnit, Tomcat).
* Working knowledge of Ant, Maven and Gradle (including plugin development).
* Working knowledge in formal methods (Isabelle Theorem Prover, Coq).
* Research experience in mathematics.
* Quick learning abilities.
Linkedin: [login to view URL]