We Are Looking for Algorithm Developers

Location: Linz, Austria, EU

lightbulb sparkleslightbulb no sparkles

You have fun puzzling problems?

If you love to solve challenging problems and want to move the world, then we have the right job for you.

At Symflower you are joining a young and innovative team, that is creating tools to make the life of developers easier. This includes teaching machines how to read and understand program code. Moreover, we teach them how to find mistakes in these programs such as crashes and security issues. 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:

  • the creation of parsers and transpilers for source code of statically and dynamically typed programming languages,
  • code generation of executable unit-tests
  • design and implementation of analyses and optimizations
  • as well as the generation of test candidates based on a 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 the backend,
  • TypeScript and
  • Angular for the frontend,
  • Docker as our container technology and
  • Kubernetes for managing our containers and clusters.

We offer

  • interesting and versatile tasks,
  • challenging responsibilities,
  • real startup atmosphere,
  • great events,
  • a young and motivated team,
  • a high learning curve
  • and topnotch hardware.

We are looking forward to your expressive application with a CV at you@symflower.com .

We offer a full-time job (38.5h/week) with an entry salary starting at EUR 39,200 (university/college graduate) or EUR 35,140 (higher-technical-school graduate) (accordingly more with relevant qualifications and experience).