Do you have fun solving puzzling problems?

If you love to tackle challenging problems and want to move the world, then we have just the right job for you.
At Symflower, you’ll be joining a young and innovative team, that is creating tools to make the life of developers easier. Our current focus is the generation of unit tests. This includes creating and optimizing efficient and effective analysis pipelines for a huge amount of source code. These analyses need to run on regular notebooks as well as clusters with multiple hosts. Moreover, we implement checks and rules to analyze source code to find mistakes in these programs such as crashes and security issues, as well as generative algorithms that generate code such as human-like unit tests. Sounds like a challenge? That is the reason why we need brilliant minds like you!
We are searching for software engineers that enhance our team to further develop our analysis pipeline and test generation engine.

Your tasks include

• creating parsers and transpilers for source code of statically and dynamically typed programming languages,
• code generation of executable unit tests,
• designing and implementing analyses and optimizations,
• generating test candidates based on symbolic execution and other analysis techniques.

With our test generation, you are working on the following topics

• Software verification
• Formal models
• Symbolic execution
• Static and dynamic source code analyses
• SAT (Boolean satisfiability problem)
• SMT (Satisfiability modulo theories)
• Model-based testing

If programming, logic and formal methods come easy to you, then you have come to the right place.

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.

We are looking forward to your application with a CV at you@symflower.com .
We offer a full-time job (38.5h/week) with an entry salary starting at EUR 48,000 (university/college graduate) or EUR 40,000 (higher-technical-school graduate) (accordingly more with relevant qualifications and experience).