Semantic Designs
Austin, TX

Job Description

The Truth is in the Details Automated Large-Scale Software System Analysis, Modification, Translation and Generation Semantic Designs The Truf is in the ARF Details -->

* Home
* Services
* Automated Migration
* Custom Analysis and Transformation
* Custom Development Toolkit
* Application Modernization
* Software Quality Analysis
* Understanding Software Structure


* Products
* DMS®
* By Language
* C
* C++
* Java
* COBOL
* C#/.Net
* PHP
* VHDL
* Verilog
* More...


* By Tool
* Search Engine
* Clone Detection
* Test Coverage
* Formatters
* Obfuscators
* Metrics
* Profilers
* Smart Differencer
* More...


* By Application
* Hogan (Banking) Analysis
* More Effective Testing
* Detecting Infringement
* Agile Testing


* Why Buy
* Prices
* Register
* Downloads


* Company
* About SD
* Success Stories
* News and Events
* Partners
* Customers
* Careers
* Papers
* Visions


* Support
* Support Policies
* Register
* Downloads


* Contact

Compiler Engineer

No current positions Job Description: Compiler Engineer

Compiler Engineers are needed to build an optimizing compiler with a retargetable code generator.

Semantic Designs is constructing a sophisticated software engineering tool, DMS, to generate and maintain application programs using specifications and transformation-based synthesis. DMS is implemented in a parallel programming language, PARLANSE, running on Symmetric Multiprocessing 80x86 under Windows/NT. SD is building an optimizing compiler for PARLANSE, using DMS as the foundation, and having a retargetable code generator. Engineers are needed for the tasks of producing a proprietary internal form for PARLANSE, designing and implementing a retargetable code generator for PARLANSE and other languages, build supporting libraries and tools (linkers, debuggers, etc.), testing infrastructure and tests.

Candidates must have a Masters or Ph.D. in Computer Science. A strong grasp of programming languages and compilers is essential. The ideal candidate will have experience with retargetable code generators, advanced internal program representations and points-to analyses. Experience with parallel programming, optimizing compilers, transformation engines or various formal specification techniques such as algebraic or denotational semantics are a definite plus. Experience in R&D projects producing large, robust systems is a plus. Applicants must be independent thinkers and strongly self-motivated, but must work in a team to achieve the final vision. The applicant will be individually responsible for major compiler subsystems. A variety of other programming language analysis, translation and analysis tasks are included in the long term aspects of this job.

In addition to competitive salaries commensurate with experience, employees will be offered a comprehensive benefits package.

Personnel

Semantic Designs, Inc.

13171 Pond Springs Road

Austin, Texas 78729

resumes@semdesigns.com

FAX: 512-250-1191