Home > Careers > Job opportunities

Software Engineer (Technology R and D)
NICTA/Red Lizard

Kensington, Sydney

Posted on: Thu Oct 13 2011

Contact: Dr Ralf Huuck

Position Profile:

The NICTA/Red Lizard Software team is looking for a highly skilled and versatile software developer with a strong background in functional programming (OCaml, Haskel, etc.). The role is to become one of the leading developers in an R&D start-up team with a strong focus on implementing new product features driven by customer needs.

Red Lizard Software develops state-of-the-art static analysis tools that find bugs in C/C++ code at compile-time. It does this without need for code annotations or test harnesses. It is written in OCaml and makes use of the latest research results.

We are in particular looking for well-spoken candidates with strong functional programming skills, development expertise on both Windows and Linux, as well as a keen interest in learning new scientific technologies.

Accountability and Associated Responsibilities:

  • Develop software building on NICTA’s research outcomes as commercialized by Red Lizard Software.
  • Perform evaluation and comparisons of the developed software in terms of functionality, performance and robustness as necessary to demonstrate the competitiveness of the software.
  • Write documentation for the software and systems (including, as appropriate, comments in source code, technical documentation and user documentation).
  • Liaise with and support customers, including trouble-shooting and training.
  • Work collaboratively with project team members including project leaders, engineers and researchers.
  • Make use of appropriate software development tools and processes for coding efficiency and for ensuring software quality.
  • Contribute to NICTA’s engineering discipline by mentoring and participating in discussions of software development tools, processes and culture.
  • Maintain high ethical and performance standards.

Essential Requirements:

  • Degree qualification in Computer Science, Mathematics, or related discipline.
  • Demonstrated high degree of expertise in Ocaml, Haskell and/or similar language. Demonstrated good degree of expertise in C/C++.
  • Experience in software development for Linux and Windows.
  • Excellent problem solving skills.
  • Highly self-motivated and ability to quickly learn new technologies.
  • Evidence of strong written and oral communication.
  • Ability to carry out tasks with minimal supervision.
  • Experience in using software development tools, scripting languages and alike.
  • Willingness to comply with EEO and OH&S standards.

Desirable Requirements:

  • Experience with other programming languages (C#, F#, .Net, Javascript).
  • Experience with web technologies (XML, XPath, HTTP)
  • Experience with software development tools for performance monitoring, memory checking, code optimisation and automated unit testing.
  • Experience in delivering highly robust software.

Additional Beneficial Skills:

  • Experience in using static analysis tools.
  • Experience in plugin development (Eclipse/Visual Studio).
  • Experience in open source software development.
  • Background in any of the following is a definite plus: Model checking, static analysis, SMT solving, constraint solving.

About:

Red Lizard Software is a software start-up incubated by NICTA. While backed by scientific research results it is driven by strong customer focus, who range from SMEs to Fortune 100 companies. You will be working in a small team of people who value results. As a team member your will be responsible for creating and implementing new solutions as well as product development based on customer interaction.

Please send applications to: ralf.huuck@nicta.com.au

http://www.redlizards.com
http://nicta.com.au/goanna



**Mention you saw it on the AustMS website**
Feedback