Software Developer (m/w) Emphasis: Eclipse RCP

Software-Entwickler (m/w) Schwerpunkt: Eclipse RCPWe are looking to develop our Eclipse-based product at the same time growing our team by hiring an engaged software developer (m/w) whose skills have an emphasis on Eclipse RCP.

You are not only multi-talented and write magical, functional and testable code. You are an analytical thinker and you bring a high level of methodical competency to the table. You are practical but also comfortable with the theory of informatics. Your responsibilities will include the entire software development process including architectural drafting, testing, configuration management and documentation.

We can offer you the possibility of developing exciting and innovative technology. The process will span from research through to market. Your own personal development will be supported by having plenty of room for publication as well as involvement in open source projects, flexible work hours, and encouragement for your own professional development. We are open to part-time situations and encourage all age groups to apply.

What We Expect

  • Outstanding competency in software development and informatics

  • Practical experience in the sphere of Eclipse RCP

  • High amount of engagement and willingness to learn

  • Independent thinking and performance

  • Above-average English skills

  • Good communication skills and enjoys working within a team

We offer

  • A motivated, research-level position

  • The status of an Open Source Committer

  • Possibility to develop yourself further

  • A motivated team and a friendly work environment

  • Flexible work hours (Part-time is also possible)

Advantageous Would Be

  • Completed studies in the field of Informatics (or similar area)

  • Polished, confident ability to communicate effectively and professionally with customers

  • Knowledge of French

  • Experience in the area of formal methods

  • Experience in the area of embedded systems

  • Knowledge of Prolog

About Formal Mind

Formal Mind GmbH is a spin-off of the Heinrich-Heine University Düsseldorf. Our goal is to bring exciting and innovative technology from research to market. We have created two open source tools that were developed to support saftey-critical systems. Our ProB tool serves to verify and validate software models while our ProR tool supports the development of  requirements. ProR is a part of the Requirements Modeling Framework (RMF), a project of the Eclipse Foundation.

Apply Now!

Interested? Then send us your application per E-Mail, ideally with your resumè, project experience and relevant credentials.