Compiler positions available for week ending March 21

compilers@iecc.com (comp.compilers)
26 Mar 2004 22:02:10 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending March 21 compilers@iecc.com (2004-03-26)
Compiler positions available for week ending March 21 compilers-jobs@iecc.cambridge.ma.us (1993-03-21)
Compiler positions available for week ending March 21 compilers-jobs@iecc.com (1999-03-21)
| List of all articles for this month |

From: compilers@iecc.com (comp.compilers)
Newsgroups: comp.compilers
Date: 26 Mar 2004 22:02:10 -0500
Organization: Compilers Central
Keywords: jobs
Posted-Date: 26 Mar 2004 22:02:10 EST

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.




-------------------------------


Subject: Static analysis expert needed (Mtn View CA)
Date: Mon, 15 Mar 2004 14:34:26 -0800
From: Valerie Wagner <valerie.wagner@reasoning.com>


Our company is looking for a static analysis expert to help design and
develop a state-of-the-art source code analysis system. It requires
formal knowledge and awareness of current research in automata theory,
theorem and program proving, semantic analysis, compiler and algorithm
design to specify, design, and implement a sophisticated source code
static analyzer for Java, and other imperative programming languages.
This design will require experience of real-world programming mistakes
to create additional inspection classes to offer to customers and how
they could be realized.


The right candidate will implementation knowledge of Java, C, and C++
to create a production-quality implementation. They will also be
expected to work cooperatively in a team environment with other senior
engineers to design, implement, and test the analyzer, work closely
with other engineers and operations analysts to deploy the analyzer
and insure that it works as intended in production. This person will
work closely with product management to help productize our analysis
engine for end-users, follow solid engineering procedures to insure
the code produced is well-structured, well-documented, easy for others
on the team to understand and maintain, and free from defects.


This position requires strong communication skills to create papers
and presentations for technical conferences and customer meetings. You
may be asked to mentor junior engineers, train operations staff in
inspection procedures or work with end-users


The position is based in Mt. View, CA. Occasional travel, primarily
within North America, may be necessary.


Interested candidates can email their resume to
valerie.wagner@reasoning.com. I can be reached at 650-316-4360.


Thank you in advance
Valerie Wagner



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.