Algorithm Developers

Állás info
Város
Linz
Cégnév
Symflower GmbH
Céginfo
4 állás a cégnél
Cég címe
Cég weboldal
Cég link
https://at.indeed.com/cmp/Symflower-Gmbh
Hirdetés aktiválása
Sept. 4, 2019, 10:03 p.m.
Hirdetés utoljára aktív
Sept. 4, 2024, 1:53 p.m.
Link
https://at.indeed.com/viewjob?jk=cd6d06980bb64f81
Farkas Kiss Endre Algorithm Developers bei  nudist vlogger
Pontszám
angular
7
frontend
5

Farkas Kiss Endre legjobb állása Symflower GmbH

Symflower GmbH email

Email tárgya

Bewerbung fur Algorithm Developers

Levél szövege

Lieber Symflower GmbH!

Ich möchte mich bei Ihrem Unternehmen als Algorithm Developers bewerben. 
Ich bin ein Fullstack-Entwickler, bei dem ich meine 10-jährige Erfahrung mit verschiedenen Technologien einsetzen kann.

Ich habe meinen Lebenslauf an diese E-Mail angehängt.

Wir freuen uns darauf, von Ihnen zu hören!


Endre Farkas Kiss "Sodika"
Java and PHP Fullstack Developer, Nudist, Vlogger

https://www.linkedin.com/in/farkas-kiss-63bb9210a
https://sodika.org

Álláshirdetés szövege

Location: Linz, Austria, EU

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).

Download for free
Generate unit tests instantly.
Get started