You want to gain work experience?

We utilize

• Go (which is easy to learn) for our backend, infrastructure and analysis pipelines,
• Z3 as our main SAT/SMT solver,
• Java for our Intelli J-based extensions,
• Type Script for our Visual Studio Code extension and web frontends,
• Angular for web frontends,
• Containerd and g Visor as our container technologies and
• Kubernetes (specifically k3s) for managing our containers and clusters.

We offer

• interesting and versatile tasks,
• challenging responsibilities,
• a real startup atmosphere,
• great team events,
• a young and motivated team,
• a learning curve that’s as rewarding as it is challenging
• the option to work from either home office or our office in Linz.