IoSemantics is looking for a Distinguished Software Engineer in Denver, CO. According to the post, this position is meant "to provide technical leadership to an innovative, dynamic and collaborative development team that is using static program analysis, automated reasoning and semantic analysis to maximize automation in system refactoring activities that are delivered via a technology platform that replaces traditional, expensive and error-prone manual programming processes." Responsibilities include: "Assume a leadership role in planning and executing all phases of the development cycle through deployment and support of existing customers, and additional capabilities to meet new customer requirements. Collaborate with Product Management to balance multiple concurrent development initiatives, mixing new development and functional delivery with a strong commitment to providing accurate solutions with a high level of customer satisfaction."
Qualifications for the position include: "Academic or commercial experience commensurate with a minimum 10 years experience. Demonstrated proficiency in several of the following areas: Program analysis (data flow, correctness and completeness calculations); Automated reasoning (CSP, SMT Solvers, Resolution); Logic Programming (Sicstus PROLOG); Semantic analysis (W3C OWL); Java Software Engineering; Language and Compiler Theory. Strong aptitude and a self-directed desire to learn and mentor others in the use of new technologies, tools and theoretical applications."
Image: Courtesy IoSemantics