This job is closed
We regret to inform you that the job you were interested in has been closed. Although this specific position is no longer available, we encourage you to continue exploring other opportunities on our job board.
Semantic Designs - Austin, TX
posted 4 days ago
About the position
Semantic Designs is seeking experienced software engineers who are willing to learn domain engineering. The company offers DMS, a sophisticated software engineering environment that supports two significant systems engineering activities: Application Engineering and Domain Engineering. Application Engineering involves the semi-automatic transformation of specifications into application programs and the maintenance of these specifications and applications using previously captured application domain knowledge. Domain Engineering focuses on capturing and validating application domain knowledge used in Application Engineering. In DMS, a domain is a collection of knowledge organized as application notational definitions and implementation definitions. This promotes comprehensive reuse of both application knowledge and implementation knowledge. As part of a domain engineering team, the candidate will analyze software systems for concepts, notations, and implementation methods, packaging that knowledge for use by DMS. The role requires moderate travel to customer sites for technical interactions. The candidate will be responsible for implementing large portions of the domain and applying that domain to customer problems. The position involves building task-specific tools and enhancements to be integrated into DMS, alongside the core DMS team.
Responsibilities
- Analyze software systems for concepts, notations, and implementation methods.
- Capture and validate application domain knowledge.
- Implement large portions of the domain.
- Apply domain knowledge to customer problems.
- Build task-specific tools and enhancements for DMS.
- Interact with customers at a technical level.
Requirements
- Masters in Computer Science.
- Good experience with modeling and implementing reactive systems.
- Background in compiler theory.
- Knowledge of domain analysis techniques.
- Experience with parallel programming, optimizing compilers, and transformation engines.
- Familiarity with formal specification techniques such as algebraic or denotational semantics.
- Experience in R&D projects producing large, robust systems.
Nice-to-haves
- Experience with programming language analysis and translation tasks.
- Strong self-motivation and independent thinking.
Benefits
- Competitive salaries commensurate with experience.
- Comprehensive benefits package.
