Compiler positions available for week ending July 28

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.




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


Date: Tue, 23 Jul 96 11:43:07 PDT
From: sheffler@rambus.com (Tom Sheffler)
Subject: Hardware Verification from Formal Specifications (S.F. area)


Rambus is looking for a hardware verification tool developer to work on
automated functional test generation from formal specifications. The
applicant should have a PhD or equivalent experience in CS, EE, or Math.


Related experience includes the following disciplines:
functional and/or timing simulation;
formal verification;
tool development for logic verification;
logic design;
simulators;
synthesizers;
ATPG;
compiler writing;
constraint-solving systems.


Rambus has developed an automated verification system that generates
vector-based tests from a high level specification of circuit functionality.
We intend to extend the tool's capabilities in several potential directions:
automatic test coverage analysis; generation of test "vectors" for a symbolic
simulator (e.g., COSMOS); automatic generation of simulation models from
high-level specifications. You must be capable of contributing to this
effort.


Other aspects of the position may involve creation of simulation models,
communicating with individuals and groups, defining objectives, planning,
writing scripts for tool coordination, debugging logic designs.


All work is oriented for practicality. The tools are put to immediate use
for ongoing projects. The tasks associated with this position will have a
large dynamic range -- you will also be in the trenches, using the tools to
generate test suites and guarantee the designs.


Rambus is a small ( < 100 person) company specializing in the design of high
bandwidth memory technology. Rambus DRAMs are beginning to reach the market
in products such as SGI's Indigo Impact workstations, Creative Labs'
"Graphics Blaster MA302," and the Nintendo64 game machine.


Reply: e-mail: jpp@rambus.com


                facsimile: 415.965.1528


                US mail: Rambus Inc.
                                      2465 Latham Street
                                      Mountain View, CA 94040
                                      attn: John Privitera


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


From: Peter Gregory <peterg@bsquare.com>
Subject: Compiler Developers wanted in Seattle, WA
Date: Tue, 23 Jul 1996 22:00:12 -0700
Organization: bsquare consulting, inc.
References: 96-07-072


Code Generation, Optimization and Compiler Tool Developers. We have new
back-ends to write for new CPUs. We already have a stable front-end. If
you are a code gen. wizard looking for new challenges, bsquare is a place
where you can make a big contribution. This is a small (25 person) shop
that has a strong QA group and a record for shipping quality compilers,
debuggers and compiler tools.


bsquare consulting, inc. is an engineering and project management consulting
company focused on software development tools. We provide experienced, can
do teams of engineers in areas relating to compiler development. This
includes the development, re-hosting and re-targeting of linkers, debuggers
and associated runtime libraries. We have compiler code generation and
optimization experience and have applied it to Windows NT and Unix. bsquare
consulting, inc. specializes in developing Microsoft Visual C++ compatible
software development tools for non-traditional targets. If you would like
to work for an informal, hard working, small company on cutting-edge
technology, bsquare is the company for you.


Minimum Qualifications
* Ability to deliver projects on time
* Ability to work in a team oriented environment
* Ability to take constructive criticism
* Ability to take responsibility and make decisions
* Strong C/C++ skills
* BS degree in CS or equivalent
* Willingness to work in the Seattle, Washington area


Specific Qualifications
SENIOR SOFTWARE ENGINEER IN COMPILER DEVELOPMENT
* Minimum of 2 years of industry experience
* Experience with code generation for RISC and CISC processor
architectures
* Willingness and ability to maintain and adapt existing code base as
well as develop new technology
SENIOR SOFTWARE ENGINEER IN TOOLS DEVELOPMENT
* Minimum of 1 year of industry experience
* Experience with debuggers, linkers, assemblers, C/C++ runtime
libraries and related tools
* Willingness and ability to maintain and adapt existing code base as
well as develop new technology


We are also interested in Development Leads and QA Engineers.


How to Apply
If you feel qualified and this sounds interesting to you, either mail
your resume to the above address to the attention of Personnel, or fax
it to (206)644-8057,
or e-mail it to lbaxter@bsquare.com.


We even have a web page: http://www.bsquare.com
--

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