Software Engineer

Semantic Designs, Inc.; Austin (TX); On-site; USD 80,000 - 100,000; Full time

Benefits offered by this job

Comprehensive benefits package

Competitive salaries commensurate with experience

Job summary

A software engineering company in Austin, Texas is seeking Software Engineers to enhance a programming environment. Candidates must have a Master's or Ph.D. in Computer Science and a strong grasp of programming languages and compilers. Responsibilities include implementing tools and building interfaces, with a focus on teamwork and independent thinking. Competitive salary and comprehensive benefits offered.

Qualifications

• Candidates must have a Masters or Ph.D. in Computer Science.
• Strong grasp of programming languages and compilers is essential.
• Experience with parallel programming and optimizing compilers is a plus.

Responsibilities

• Implement parsing tools and syntax tree builders for attribute grammars.
• Design and implement optimizing-compiler like synthesis engines.
• Build Client/Server interfaces between the DMS core and a DMS user.

Skills

Strong grasp of programming languages

Compilers knowledge

Independent thinking

Team collaboration

Education

Masters or Ph.D. in Computer Science

Tools

Parsing tools

GUI design tools

Job description

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

Software Engineers are needed to help enhance DMS, a programming environment supporting a new software development paradigm.

Semantic Designs is continuing its development of 21st Century software engineering tools to generate and maintain application programs using specifications and transformation-based synthesis. A sophisticated team has already been assembled to carry out this task.

Additional team members are needed to help define, design and construct enhancements to this software engineering environment. Depending on system needs, skills and interests, s/he may:

• Implement parsing tools and syntax tree builders for attribute grammars;
• Define and implement semantics-based specification schemes;
• Design and implement optimizing-compiler like synthesis engines;
• Design and implement GUI definition languages and GUIs for tools;
• Build Client/Server interfaces between the DMS core and a DMS user;
• Define problem domains and their semantics, including database, graphics, parallel processing;
• Design and implement analyzers for pointer-based languages;
• Work on reverse engineering tools to abstract code to components;
• Apply the tools to significant test cases;
• Build APIs and interfaces to other applications;
• Define test infrastructure and tests for DMS;

Candidates must have a Masters or Ph.D. in Computer Science. A strong grasp of programming languages and compilers is essential. 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. Team members are individually responsible for large subsystems.

In addition to competitive salaries commensurate with experience, employees will be offered a comprehensive benefits package. Semantic Designs is located in beautiful Austin, Texas.

Personnel
Semantic Designs, Inc.
13171 Pond Springs Road
Austin, Texas 78729
[e-mail]
FAX: [phone]
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.