Compiler Engineer

Semantic Designs; Austin (TX); On-site; USD 90,000 - 120,000; Full time

Benefits offered by this job

Comprehensive benefits package

Competitive salaries

Job summary

A leading software engineering company in Austin is seeking a Compiler Engineer to develop an optimizing compiler with a retargetable code generator. Candidates should hold a Master's or Ph.D. in Computer Science and have a strong knowledge of programming languages and compilers. The role involves designing and implementing code generators and building supporting tools. Competitive salary and comprehensive benefits are offered.

Qualifications

• Strong grasp of programming languages and compilers.
• Experience with retargetable code generators and advanced internal program representations.
• Ability to work independently and in a team; responsible for major compiler subsystems.

Responsibilities

• Produce a proprietary internal form for PARLANSE.
• Design and implement a retargetable code generator for PARLANSE and other languages.
• Build supporting libraries and tools (linkers, debuggers, etc.).
• Develop testing infrastructure and tests.
• Contribute to the development of an optimizing compiler.

Skills

Programming languages and compilers

Retargetable code generators

Parallel programming

Testing infrastructure

Team collaboration

Education

Masters or Ph.D. in Computer Science

Job description

Overview

Code Search (Find, Follow), Analysis (Metrics, Static, Dynamic, Bugs) and Change (Modernization, Migration, Generation, Optimization, Rearchitecting).

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 codegenerator. 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, building supporting libraries and tools (linkers, debuggers, etc.), and testing infrastructure and tests.

Responsibilities

• Produce a proprietary internal form for PARLANSE.
• Design and implement a retargetable code generator for PARLANSE and other languages.
• Build supporting libraries and tools (linkers, debuggers, etc.).
• Develop testing infrastructure and tests.
• Contribute to the development of an optimizing compiler with retargetable code generation.

Qualifications

• Masters or Ph.D. in Computer Science.
• Strong grasp of programming languages and compilers.
• Experience with retargetable code generators, advanced internal program representations and points-to analyses is ideal.
• Experience with parallel programming, optimizing compilers, transformation engines or formal specification techniques (e.g., algebraic or denotational semantics) is a plus.
• Experience in R&D projects producing large, robust systems is a plus.
• Ability to work independently and in a team; responsible for major compiler subsystems.

Benefits

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

Contact

Semantic Designs, Inc., 13171 Pond Springs Road, Austin, Texas 78729
[e-mail]
FAX: [phone]

Intellectual Property and Trademarks

To enable our customers to produce and maintain timely, robust and economical software by providing world-class Software Engineering tools using deep language and problem knowledge with high degrees of automation.

Copyright 1995-2023 Semantic Designs, Incorporated. DMS, "Design Maintenance System" and Refactor++ are registered trademarks of Semantic Designs, Inc. The SD logo and "Semantic Designs" are registered service marks of Semantic Designs, Inc. Software Reengineering Toolkit, CloneDR, PARLANSE, JOVIAL2C, Thicket, Smart Differencer, CheckPointer are trademarks of Semantic Designs, Inc. The OMG logo is a registered trademark of the Object Management Group, Inc. in the United States and other countries. To view our Privacy Policy, click here.

Comments or problems: [e-mail]