Semantic Designs

Semantic Designs Austin , TX 78719

Posted 3 months ago

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


icon no score

See how you match
to the job

Find your dream job anywhere
with the LiveCareer app.
Mobile App Icon
Download the
LiveCareer app and find
your dream job anywhere
App Store Icon Google Play Icon
lc_ad

Boost your job search productivity with our
free Chrome Extension!

lc_apply_tool GET EXTENSION

Similar Jobs

Want to see jobs matched to your resume? Upload One Now! Remove
Sr Software Developer/Analyst

University Of Texas At Austin

Posted 1 week ago

VIEW JOBS 10/9/2019 12:00:00 AM 2020-01-07T00:00 Job Posting Title: Sr. Software Developer/Analyst * --- Hiring Department: University Development Office * --- Position Open To: All Applicants * --- Weekly Scheduled Hours: 40 * --- FLSA Status: Exempt * --- Earliest Start Date: Oct 07, 2019 * --- Position Duration: Expected to Continue * --- Location: UT MAIN CAMPUS * --- Job Description: As part of a team, the candidate will build complex interactive database-driven web applications (primarily using Python/Django, JavaScript/Angular), and assist in the design, development, and maintenance of an enterprise CRM that assists in the alumni and prospect management for the University. * --- Job Details: Responsibilities * Deploy web applications using primarily Python/Django and Oracle, with occasional use of other tools such as HTML, CSS, and JavaScript (ex. Angular). * Design web applications that meet customer/client requirements to increase productivity. * Ensure compliance with applicable policies on web site usage, security and standards. * Keep abreast of current and emerging internet standards and web development trends, including new web client technologies & web applications. Required Qualifications Bachelor's degree. Three years of application development experience with Python and the Django framework, including systems design, requirements analysis and programming. Experience with JavaScript, Angular or other front-end JavaScript frameworks and libraries. Proficient command of using and programming object-oriented languages, semantic HTML, CSS layout and design, relational database administration. Strong, proven background in the planning, development, administration, implementation, maintenance, oversight, and evaluation of complex web sites and applications. Excellent client communication skills. Excellent verbal and written communication skills. Demonstrated ability to work effectively in a team-oriented environment. Demonstrated ability to respond effectively to client requests in an organized and timely manner. Relevant education and experience may be substituted as appropriate. NOTE: The candidate must be authorized to work in the United States. This position does not support sponsorship for an employment VISA. Preferred Qualifications More than five years of professional web development experience. Knowledge of the University's Python production environment (PYPE). Experience with multiple programming languages. Experience with Natural/Adabas and webAgent. Experience with Oracle databases. Ability to handle multiple tasks and projects simultaneously in a deadline-driven environment. Excellent organizational and analytical skills. Salary Range $55,800 + depending on qualifications Working Conditions Typical office environment. Required Materials * Resume/CV * 3 work references with their contact information; at least one reference should be from a supervisor * Letter of interest Important for applicants who are NOT current university employees or contingent workers: You will be prompted to submit your resume the first time you apply, then you will be provided an option to upload a new Resume for subsequent applications. Any additional Required Materials (letter of interest, references, etc.) will be uploaded in the Application Questions section; you will be able to multi-select additional files. Before submitting your online job application, ensure that ALL Required Materials have been uploaded. Once your job application has been submitted, you cannot make changes. Important for Current university employees and contingent workers: As a current university employee or contingent worker, you MUST apply within Workday by searching for Find UT Jobs. If you are a current University employee, log-in to Workday, navigate to your Worker Profile, click the Career link in the left hand navigation menu and then update the sections in your Professional Profile before you apply. This information will be pulled in to your application. The application is one page and you will be prompted to upload your resume. In addition, you must respond to the application questions presented to upload any additional Required Materials (letter of interest, references, etc.) that were noted above. * --- Employment Eligibility: Regular staff who have been employed in their current position for the last six continuous months are eligible for openings being recruited for through University-Wide or Open Recruiting, to include both promotional opportunities and lateral transfers. Staff who are promotion/transfer eligible may apply for positions without supervisor approval. * --- Retirement Plan Eligibility: The retirement plan for this position is Teacher Retirement System of Texas (TRS), subject to the position being at least 20 hours per week and at least 135 days in length. * --- Background Checks: A criminal history background check will be required for finalist(s) under consideration for this position. * --- Equal Opportunity Employer: The University of Texas at Austin, as an equal opportunity/affirmative action employer, complies with all applicable federal and state laws regarding nondiscrimination and affirmative action. The University is committed to a policy of equal opportunity for all persons and does not discriminate on the basis of race, color, national origin, age, marital status, sex, sexual orientation, gender identity, gender expression, disability, religion, or veteran status in employment, educational programs and activities, and admissions. * --- Pay Transparency: The University of Texas at Austin will not discharge or in any other manner discriminate against employees or applicants because they have inquired about, discussed, or disclosed their own pay or the pay of another employee or applicant. However, employees who have access to the compensation information of other employees or applicants as a part of their essential job functions cannot disclose the pay of other employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent with the contractor's legal duty to furnish information. * --- Employment Eligibility Verification: If hired, you will be required to complete the federal Employment Eligibility Verification I-9 form. You will be required to present acceptable and original documents to prove your identity and authorization to work in the United States. Documents need to be presented no later than the third day of employment. Failure to do so will result in loss of employment at the university. * --- E-Verify: The University of Texas at Austin use E-Verify to check the work authorization of all new hires effective May 2015. The university's company ID number for purposes of E-Verify is 854197. For more information about E-Verify, please see the following: * E-Verify Poster (English) [PDF] * E-Verify Poster (Spanish) [PDF] * Right To Work Poster (English) [PDF] * Right To Work Poster (Spanish) [PDF] * --- Compliance: Employees may be required to report violations of law under Title IX and the Jeanne Clery Disclosure of Campus Security Policy and Crime Statistics Act (Clery Act). If this position is identified a Campus Security Authority (Clery Act), you will be notified and provided resources for reporting. Responsible employees under Title IX are defined and outlined in HOP-3031. The Clery Act requires all prospective employees be notified of the availability of the Annual Security and Fire Safety report. You may access the 2018 report here or obtain a copy at University Compliance Services, 1616 Guadalupe, Suite UTA 2.206, Austin, TX 78701. University Of Texas At Austin Austin TX

Semantic Designs

Semantic Designs