Software Development Engineer
1 month ago
We are a technology company that builds tools for reasoning about algorithms. Our products form an integral part of our customers' software development lifecycles, from design to analytics and monitoring of critical production systems.
The RoleWe are looking for a talented R&D Engineer to help scale our cloud-based automated reasoning platform. As a key member of our team, you will be working on developing our platform, primarily using OCaml.
ResponsibilitiesKey responsibilities include:
- Developing our cloud-based automated reasoning platform using OCaml.
- Working on the full stack, including web APIs, backend services, product UIs, and visualization tools.
- Contributing to novel advanced proof automation techniques, formal verification, and code synthesis algorithms.
- Collaborating with a globally distributed team in different time zones.
To be successful in this role, you will need:
- Strong software development skills.
- A product-focused mindset, with a willingness to design, develop, and deliver features and improvements across the full software stack.
- An interest in typed, functional languages.
- Competent Linux/Unix skills.
- Experience collaborating using Git/GitHub/CI tools and processes.
We offer a range of benefits, including:
- Medical, Dental, and Vision insurance.
- 401K Plan.
- Stock Option Plan.
-
Software Development Engineer
2 weeks ago
Austin, Texas, United States Asure Software Full timeJob SummaryWe are seeking a highly skilled Associate Software Engineer to join our team at Asure Software. As a key member of our engineering team, you will be responsible for collaborating with other engineers to write and develop code, designing and developing web-based applications to enhance the performance and stability of our current applications, and...
-
Software Development Engineer
4 days ago
Austin, Texas, United States HP Development Company, L.P. Full timeJob Title: Software Development EngineerJob Summary:HP Development Company, L.P. is seeking a skilled Software Development Engineer to join our team. As a key member of our software development team, you will be responsible for designing and building disruptive products on HP/Poly's Android embedded platforms. This is a creative space that will challenge you...
-
Austin, Texas, United States Centric Software Full timeOverview:We are seeking a highly skilled Senior Cloud Engineer to lead our team in enterprise software development. The ideal candidate will have a deep understanding of cloud-native development and experience with various aspects of infrastructure management.You will be responsible for designing and developing scalable solutions, managing infrastructure...
-
Software Developer
1 month ago
Austin, Texas, United States CORRIDOR Aviation Service Software Full timeAbout CORRIDOR Aviation Service SoftwareCORRIDOR Aviation Service Software is a leading provider of innovative solutions for the business aviation industry. Our cutting-edge technology enables aircraft service centers to manage their operations efficiently and effectively.Job Title: Software EngineerWe are seeking a highly skilled Software Engineer to join...
-
Staff Software Engineer
5 days ago
Austin, Texas, United States Q2 Software, Inc. Full timeJob OverviewQ2 Software, Inc. is seeking a skilled Staff Software Engineer to join our Engineering Development group in Austin, TX. As a key member of our team, you will be responsible for designing, implementing, and integrating software solutions of moderate complexity using a mix of open technologies and our proprietary framework.Key Responsibilities...
-
Software Developer
2 weeks ago
Austin, Texas, United States CORRIDOR Aviation Service Software Full timeAbout CORRIDOR Aviation Service SoftwareCORRIDOR Aviation Service Software is a leading provider of aircraft compliance and health management services to the global business aviation industry. Our company is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world.We...
-
Software Developer
2 weeks ago
Austin, Texas, United States CORRIDOR Aviation Service Software Full timeAbout CORRIDOR Aviation Service SoftwareCORRIDOR Aviation Service Software is a leading provider of aircraft compliance and health management services to the global business aviation industry. Our mission is to deliver innovative solutions that streamline the exchange of parts and services, creating substantial value for both our company and the aviation...
-
Software Development Expert
1 month ago
Austin, Texas, United States CORRIDOR Aviation Service Software Full timeAbout CORRIDOR Aviation Service SoftwareCORRIDOR Aviation Service Software is a leading provider of innovative solutions for the business aviation industry. Our cutting-edge technology enables aircraft service centers to streamline their operations and improve efficiency.Job SummaryWe are seeking a highly skilled Full Stack Engineer to join our team. As a...
-
Senior Software Engineer
4 weeks ago
Austin, Texas, United States CENTRIC SOFTWARE INC Full timeJob Title: Senior Engineer, Innovation Programs GroupCentric Software is seeking a highly skilled Senior Engineer to join our Innovation Programs Group. As a key member of our team, you will be responsible for driving innovation and delivering cutting-edge solutions that meet the evolving needs of our customers.Key Responsibilities:Design and develop...
-
Senior Software Engineer
2 weeks ago
Austin, Texas, United States CENTRIC SOFTWARE INC Full timeJob Title: Senior Engineer, Innovation Programs GroupCentric Software is seeking a highly skilled Senior Engineer to join our Innovation Programs Group. As a key member of our team, you will be responsible for driving innovation and leveraging cutting-edge technologies to enhance our product offerings.Key Responsibilities:Design and develop scalable backend...
-
Software Engineering Internship Opportunity
1 week ago
Austin, Texas, United States Q2 Software, Inc. Full timeAbout Q2 Software, Inc.At Q2 Software, Inc., we're passionate about delivering innovative technology solutions that strengthen financial institutions and communities worldwide. Our mission is to build strong, diverse communities by investing in the growth and development of our team members and the communities we serve.Job OverviewWe're seeking a highly...
-
Software Development Engineer
5 days ago
Austin, Texas, United States Kratos Defense & Security Solutions Full timeJob Title: Software Development EngineerJob Summary:We are seeking a highly motivated and dedicated Software Development Engineer to join our team at Kratos Defense & Security Solutions. As a Software Development Engineer, you will be responsible for developing software for new and existing systems for aircraft and aircraft test systems.Key...
-
Senior Software Engineer
2 weeks ago
Austin, Texas, United States CENTRIC SOFTWARE INC Full timeJob Title: Senior Engineer, Innovation Programs GroupJob Summary:Centric Software Inc. is seeking a highly skilled Senior Engineer to join our Innovation Programs Group. As a key member of this team, you will be responsible for driving innovation and sales by identifying and addressing gaps in our product line.Key Responsibilities:Design and develop scalable...
-
Senior Software Engineer
4 weeks ago
Austin, Texas, United States CORRIDOR Aviation Service Software Full timeAbout CORRIDOR Aviation Service SoftwareCORRIDOR Aviation Service Software is a leading provider of innovative solutions for the business aviation industry. Our cutting-edge technology enables aircraft service centers to manage their operations efficiently and effectively.Job SummaryWe are seeking a highly skilled Senior Software Engineer to join our team....
-
Software Development Engineer
1 week ago
Austin, Texas, United States Kratos Defense & Security Solutions Full timeJob Summary:Kratos Defense & Security Solutions is seeking a highly motivated and dedicated Software Development Engineer to join our team. As a key member of our software development team, you will be responsible for developing software for new and existing systems for aircraft and aircraft test systems.Key Responsibilities:Developing software for new and...
-
Software Development Engineer
3 weeks ago
Austin, Texas, United States Amazon Full timeAbout the RoleWe are seeking a highly skilled Software Development Engineer to join our Global Engineering Services team at Amazon. As a key member of our team, you will be responsible for designing and developing software applications and web portals that can be scaled globally to support Engineering Services.Key ResponsibilitiesExecute the product roadmap...
-
Software Development Engineer
2 weeks ago
Austin, Texas, United States TEKsystems Full timeJob SummaryWe are seeking a highly skilled Software Development Engineer to join our team in Austin, TX. As a key member of our engineering team, you will be responsible for designing and developing software solutions that ensure the safety of drivers using our customer's mobile delivery application.Key Responsibilities:Design and develop software solutions...
-
Software Development Engineer
1 week ago
Austin, Texas, United States Apple Full timeSoftware Development EngineerAt Apple, we're looking for a skilled Software Development Engineer to join our team. As a key member of our IS&T organization, you'll be responsible for designing, building, and delivering innovative software applications that support our partners and customers.Key Responsibilities:Design and develop software applications using...
-
Senior Software Engineer
2 weeks ago
Austin, Texas, United States CENTRIC SOFTWARE INC Full timeAbout Centric SoftwareCentric Software is a leading provider of product lifecycle management (PLM) solutions for the retail, fashion, footwear, luxury, and consumer goods industries. Our cutting-edge software applications are designed to meet the unique challenges of the fast-moving consumer goods market, empowering businesses to manage, optimize, and...
-
Software Development Engineer
1 week ago
Austin, Texas, United States Advanced Micro Devices , Inc. Full timeTransforming Lives with AMD TechnologyWe're on a mission to build great products that accelerate next-generation computing experiences. Our Data Center GPU organization is transforming the industry with AI-based Graphic Processors. We're looking for a talented software engineer to join our team and help us drive the evolution of computing experiences.The...