Company Align Recruitment
Posting Date 10/26/2006
Job Location San Jose, California, USA
Description This is your chance to be part of a uniquely privileged, talented, close close-knit team that is working on specialized, leading edge EDA technology that is considered highly sensitive and black box in nature and in an incubator type of setting. This team is charged with
A) Defining and developing meta-model or modeling building-blocks;
B) Mapping the semantics of system-level languages to a model;
C) Interaction with system level experts to capture flows and modeling requirements; and
D) Design and oversight over the development of semantic consistency applications.

This position very much will focus on system level design and verification, build infrastructure and executables and will encompass many different areas including being a team lead of 2-3 other architects. This team was only formed 2-3 months ago as an internal group to a much larger company. Capturing formal specifications for system level design and development is part of the job. Lots of computer language experience is important. Modeling is very important as this position requires significant system level modeling.

Qualifications 1. Masters in Computer Science, Formal Semantics or Object Oriented Design required with Ph.D in CS or related field a plus.
2. Compiler development experience desired.
3. At least 10 years' relevant work.
4. Demonstrated strong background in formal semantics, concurrency issues and computer languages.
5. Good understanding of object oriented modeling.
6. Familiar with system level design languages and tools, eg UML, Matlab, Simulink, System-C or Esterel.
7. Demonstrated exceptional and strong inter-personal, written and verbal communication skills.
8. Good system level modeling experience.
9. Good understanding of subject domain systems in just about any industry whether it be telecommunications, automotive, industrial or other systems.
10. Familiarity with at the electronics systems level would be helpful.
11. Ability to start work before Christmas 2006 a plus.
Contact Larry Beck
Email larry@alignrecruitment.com
Phone 011 64 3 328 8779
Fax 011 64 3 328 8770
Website www.alignrecruitment.com

NULLSTONE
Automated Compiler Performance Analysis Suite.
nullstone.com

Compiler Books
Parsing, Code Generation, Optimization, Language Design, Debuggers, Compiler Theory
compilerbooks.com

Compiler Optimizations
Dead Code Elimination, Hoisting, Function Inlining, Loop Fusion, Code Motion, Constant Folding, ...
compileroptimizations.com