Full-time OCaml Product Developer

[Ralf]

Hi All,

we are looking again for new developer(s). Below the position
description, but in short, we are looking for smart guys who can
develop in a functional language and are good with customer
interaction.

Cheers,
Ralf

=================================================================

The Red Lizard Software/NICTA team is looking for an additional
software developer. Your role will be to work with the R&D team
towards implementing new product features.

Red Lizard 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.

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.

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


DUTIES OF THE POSITION

* product development and customer interaction
* assisting the team in implementing high quality software
* setting up and maintaining testing frameworks
* programming, documentation and testing of software
* participation in program meetings and seminars

QUALIFICATIONS REQUIRE:

Educational Requirements:
An Honours degree in Computer Science, or equivalent

KNOWLEDGE:

The position requires knowledge of
* programming OCaml or any other functional language (Haskell etc.)
* reading and understanding C/C++
* willingness to learn about static code analysis and underlying
methods

EXPERIENCE:
* good to excellent ability to read, understand and modify functional
programs on Unix and Windows platforms
* good ability to read, understand and C/C++programs
* experience in software development
(incl. revision control, bug tracking and unit testing)
* experience in IDE plugin development (Eclipse, Xcode, Visual Studio)
is a plus
* experience in program analysis and model checking is a plus

PERSONAL ABILITIES:
* excellent oral and written communication skills are crucial
* motivated by quality and excellence
* team player who can deliver high quality work under time pressure

For more information and applications please contact:

Dr Ralf Huuck
National ICT Australia Limited
University of NSW, Locked Bag 6016,
NSW 1466, Australia
Phone: +61 2 8306 0493
Fax: +61 2 8306 0405
Email: ralf....@nicta.com.au