Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.
Experience Level
Experience
Qualifications
Role and Responsibilities:As a Functional Software Engineer, you will play a pivotal role in the development of our cloud-based automated reasoning platform, utilizing OCaml as your primary programming language. You will have the opportunity to engage in various aspects of the full technology stack based on your skills and interests:Developing web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript). Creating product UIs and visualization tools (React, utilizing the ReasonML/Bucklescript/Melange toolchain). Enhancing continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions). Modeling and verifying customer production systems with Imandra. Collaborating directly with clients to prototype and develop innovative product features. Contributing to advanced proof automation techniques, formal verification, and code synthesis algorithms. Participating in open-source projects by upstreaming new features and fixes and publishing new libraries. You will join a globally distributed team operating across various time zones, primarily based in Austin, TX, and London, UK.
About the job
Imandra is at the forefront of developing innovative tools designed for algorithm reasoning. Our technology seamlessly integrates into our clients’ software development lifecycles, facilitating processes from initial design through to analytics and monitoring of essential production systems.
At Imandra, we are committed to attracting, nurturing, and retaining top-tier talent from diverse backgrounds across the globe. We are in search of exceptional R&D Engineers who are eager to elevate our products to new heights.
With a strong presence in the financial sector, we are expanding the reach of Imandra’s versatile automated reasoning tools into various other industries, simplifying the creation of accurate software for everyone.
If you're curious to explore our Imandra reasoning engine further, visit our interactive technical documentation at https://docs.imandra.ai/.
About Imandra
Imandra is dedicated to revolutionizing software development through automated reasoning technology. Our mission is to make it easier for developers to produce correct software regardless of the industry. We believe in fostering a diverse environment where innovative minds can thrive and contribute to groundbreaking solutions.
2K Games, based in Novato, California and part of Take-Two Interactive Software, Inc. (NASDAQ: TTWO), has published video games since 2005. The company works with studios like Visual Concepts, Firaxis, and Hangar 13 to deliver well-known franchises such as NBA®️ 2K, BioShock®️, and Borderlands®️. Teams at 2K Games include engineers, marketers, and artists, a…
Position Overview Join Natera as a distinguished Principal Software Engineer and play a pivotal role in revolutionizing lab software platforms that enhance high-throughput, regulated laboratory operations. In this influential position, you will be responsible for steering the technical vision of intricate, distributed systems while spearheading the development of software applications that optimize lab automation, efficiency, and operational excellence. Your role as a hands-on technical leader will encompass comprehensive ownership, guiding you from architectural design through critical implementation stages, and influencing lab operational processes, engineering standards, and long-term platform strategies. This position is tailored for a systems thinker who thrives in dynamic environments, balances complex trade-offs, and elevates the technical standards across the organization.
About Ouro:Ouro Global, Inc. is a pioneering financial services and technology organization committed to providing cutting-edge financial empowerment solutions to consumers across the globe. Our diverse portfolio encompasses prepaid, debit, cross-border payment options, and loyalty solutions tailored for both individual users and enterprise partners.Our flagship offering, Netspend, delivers prepaid and debit account solutions, connecting customers to secure, convenient access to a worldwide payment network, facilitating effective money management and everyday transactions. With an extensive retail presence in the U.S., our customers can purchase and reload Netspend products from over 130,000 locations nationwide.Founded in 1999 by industry visionaries, Ouro has successfully processed billions in transaction volume, serving millions of customers globally. We are headquartered in Austin, Texas, with a dedicated team around the world.
Join Apptronik as a Lead Software Engineer specializing in Dexterous Manipulation, where you'll spearhead the development of cutting-edge robotic technologies. In this pivotal role, you'll be responsible for designing, implementing, and optimizing advanced software solutions that empower robots to handle complex tasks with precision and agility. Collaborate with a talented team of engineers and researchers to push the boundaries of robotic capabilities.
Join Bumble Inc. as a Lead Backend Software Engineer and play a pivotal role in shaping the core systems that enhance the Bumble Dating experience. This position is perfect for seasoned engineers who have a track record of building and delivering comprehensive features. You should be comfortable taking ownership of projects and eager to make significant contributions to our technical architecture while also mentoring junior team members. Collaborate with cross-functional teams to produce high-impact results in a dynamic and fast-paced environment.
Join Us at 2KAt 2K, based in Novato, California, we are a subsidiary of Take-Two Interactive Software, Inc. (NASDAQ: TTWO). Since our inception in 2005, we have become a leading force in the global video game industry, publishing games crafted by some of the most renowned development studios worldwide. Our portfolio features exceptional titles across various platforms, including Visual Concepts, Firaxis, Hangar 13, CatDaddy, Cloud Chamber, and more. We're continually expanding our collection of games, which spans genres such as sports, action, strategy, and family entertainment.Our dynamic team comprises engineers, marketers, artists, and storytellers who are passionate about our AAA sports and entertainment brands, including the globally acclaimed NBA® 2K, BioShock®, Borderlands®, Mafia, and Sid Meier’s Civilization®. We foster an inclusive environment where everyone is encouraged to bring their true selves to work and contribute to our mission.Your RoleAs a Senior Software Engineer – Automation within our Shared Development Services’ Automation team, you will design and enhance automation tools that are crucial for real-world game development. Your contributions will elevate game quality, optimize developer efficiency, and lead to prompt feedback and reliable testing across our studios.This is a hands-on role where you will take on increasing technical ownership. You will be involved in crafting high-quality code for shared automation systems, actively participating in code reviews and technical discussions. By collaborating effectively, you will help improve the reliability and usability of automation tools utilized by multiple game teams.This position is perfect for an engineer who thrives on solving production challenges in game development. We seek a candidate who values software craftsmanship and is keen on leveraging emerging technologies, such as AI-assisted development, to enhance test coverage and streamline developer workflows.
Join Arista Networks as a Senior/Lead Software Engineer focusing on Network Systems. In this pivotal role, you will leverage your extensive software engineering skills to design and implement innovative networking solutions that enhance our cutting-edge products. You will collaborate closely with cross-functional teams to drive projects from conception through to deployment, ensuring high performance and reliability.
Join Aravo Solutions as a Senior Automation Engineer (QA/Integrations) in vibrant Austin, Texas. In this role, you will be pivotal in enhancing our automation frameworks and integration processes, ensuring the highest quality in our software delivery.
Avride develops autonomous vehicles and delivery robots, with a large engineering team building and operating these systems worldwide. The company focuses on making roads safer and transportation more accessible by applying new technology to real-world challenges. Role overview The Lead Software Engineer will shape the Pipeline, Avride’s main framework for connecting vehicle and robot components. This position covers both API and UX interface design, ongoing development, and strategic guidance to ensure the Pipeline meets evolving company needs. What you will do Design, build, and iterate on the API and UX interface for the Pipeline framework, supporting seamless interaction between vehicles and robots. Monitor developer productivity and satisfaction by collecting feedback, analyzing pain points, and removing obstacles for teams using the Pipeline. Observe how non-developer users engage with the Pipeline to highlight areas needing improvement. Tackle known issues by producing documentation, tutorials, leading discussions, and refining APIs and internal tools. Direct the ongoing development of the Pipeline engine to fulfill external API commitments. Propose and implement conceptual changes to make the Pipeline simpler and clearer, aiming for compatibility with frameworks such as Spark and Ray. Refactor existing APIs and user code to help control maintenance costs. Location This position is based in Austin, TX.
Join 360IT Professionals as a Software Development Engineer in Test (SDET) with a focus on automation. In this role, you will be responsible for building and maintaining automated test frameworks to ensure the quality of our software products. Collaborate with cross-functional teams to identify testing needs and deliver robust solutions that enhance the efficiency of our development processes.
Join PHASOR Engineering Inc., a leading Alberta-based firm specializing in the engineering, design, and testing/commissioning of medium to high voltage electrical facilities. We pride ourselves on delivering cost-effective and efficient solutions in power system engineering, engaging in a wide array of projects from preliminary engineering to commissioning and startup.Currently, we are on the lookout for an ambitious Lead Commissioning Engineer / Commissioning Manager to become a crucial part of our field services team. If you are an outstanding communicator and adept problem-solver with meticulous attention to detail, we provide a stimulating work environment where you will face challenges in various aspects of the testing and commissioning process.Responsibilities:Lead a team in the testing and commissioning of power system protection & control schemes across utility, power generation, and oil & gas sectors.Interpret technical drawings and troubleshoot technical issues.Oversee direct reports and delegate tasks effectively.Prepare and submit reports.Assist in generating commissioning startup procedures or work instructions.Ensure compliance with corporate, client, and industry safety standards.Engage with customers to address inquiries, discuss issues, and confirm solutions.Qualifications:Must hold a Bachelor's Degree in Electrical Engineering, possess a Power Systems Electrician Journeyman Ticket, or have an Electrical Engineering Technologist Diploma from a recognized institution.A minimum of 4 years of experience leading a commissioning team within the electrical utilities sector.Exceptional interpersonal and communication skills, with a keen attention to detail.Proficiency in Microsoft Office and strong computer skills.Excellent organizational abilities to manage a diverse range of issues simultaneously.Strong analytical skills, risk assessment, and problem-solving capabilities.Willingness to work extended periods out of town.Valid driver's license with a clean driving record.Background checks and Drug and Alcohol Pre-Access Testing will be required as part of employment.Requirements:Must be legally eligible to work in Canada; VISA sponsorship is not available for this position.Valid driver’s license with a clean driving record.Ability to work extended periods out of town.Additional Information:Typical shifts may include 4/3, 8/6, 10/4, and 14/7 rotations.Working hours are generally from 7 AM to 5:30 PM at 10 hours per day.
Teamwork Makes the Stream Work. Join Roku and Transform the Future of Television!As the leading TV streaming platform in the U.S., Canada, and Mexico, Roku is on a mission to power every television worldwide. We revolutionized streaming for the TV, connecting viewers to their favorite content, enabling content creators to cultivate and monetize vast audiences, and offering advertisers unique engagement opportunities.From day one, your contributions at Roku will be recognized and valued. We are a rapidly growing public company where every team member plays an integral role. Join us in creating delightful experiences for millions of TV streamers globally, while gaining significant exposure across diverse disciplines. About the RoleOur leadership in streaming hinges on providing exceptional devices that seamlessly integrate hardware platforms with Roku OS, ensuring user-friendly, reliable, and enjoyable experiences. As we strive to change the landscape of television and streaming media worldwide, your role will focus on harnessing both hardware and software to deliver a distinctive viewing experience that turns users into enthusiastic advocates.You will directly report to the Vice President of Software Engineering, acting as a pivotal technical contributor to Roku’s device platform strategy, emphasizing high-quality software solutions.We are seeking a highly proficient Lead Systems Software Architect to spearhead complex implementations for Roku TVs and streaming devices, grounded in an extensive understanding of multimedia system design including video/audio pipelines, SoCs, memory, power, and thermal management. You will be responsible for designing, implementing, debugging, and optimizing the software platform across the entire system, ensuring it is efficient, secure, and scalable across various SKUs and product generations. Collaborating with ODM partners, chipset vendors, and internal software and hardware teams, you will drive products from initial concept to mass production.The challenges we tackle are demanding, but this is what makes our work exciting. The ideal candidate is proactive, curious, and engaged, willing to dive into problem-solving and make data-driven decisions even amidst uncertainty. Our industry evolves rapidly, and your adaptability will be crucial.
Imandra is at the forefront of developing innovative tools designed for algorithm reasoning. Our technology seamlessly integrates into our clients’ software development lifecycles, facilitating processes from initial design through to analytics and monitoring of essential production systems.At Imandra, we are committed to attracting, nurturing, and retaining top-tier talent from diverse backgrounds across the globe. We are in search of exceptional R&D Engineers who are eager to elevate our products to new heights.With a strong presence in the financial sector, we are expanding the reach of Imandra’s versatile automated reasoning tools into various other industries, simplifying the creation of accurate software for everyone.If you're curious to explore our Imandra reasoning engine further, visit our interactive technical documentation at https://docs.imandra.ai/.
About the Role:Join webAI as a Senior QA Automation Engineer, where you will spearhead the development, implementation, and enhancement of our automated testing framework. You will play a vital role in elevating product quality, establishing testing protocols, and mentoring team members on automation best practices. Collaborating with engineering, DevOps, and product teams, your efforts will ensure robust confidence in every release of our advanced AI platform.This role is highly technical and hands-on, ideal for a proactive individual who thrives in dynamic environments, embraces quality initiatives, and enjoys tackling complex engineering challenges with a test-first approach.
Join our dynamic team at eproinc as a Puppet Automation Engineer. In this role, you will leverage your expertise in automation to enhance our infrastructure and improve operational efficiency. You will work closely with cross-functional teams to design, implement, and maintain scalable automation solutions using Puppet.
At TerraFirma, we are revolutionizing how the world moves earth for construction projects. Established by former SpaceX engineers and supported by Bain Capital Ventures, we are dedicated to automating construction processes, making them faster, more cost-effective, and safer.Our Story & MissionDuring our time at SpaceX, we contributed to the development of the largest rocket ever built, launched the most extensive satellite constellation to date, and provided connectivity to millions globally. Our key insight has been that infrastructure is paramount.At Starbase, we discovered that the most significant obstacle to launching missions to Mars was not the rocket itself, but the slow, costly, and complex process of constructing the necessary infrastructure. We faced challenges such as the absence of buildings, roads, utilities, and communication systems, all of which required more time and resources than expected.From a fundamental perspective, this inefficiency is unacceptable. Establishing the groundwork for progress should not be this arduous or expensive. This realization led us to understand that the same engineering principles that allowed us to excel in space exploration and mass manufacturing could be leveraged to enhance infrastructure. By applying concepts of simplification, iteration, acceleration, and automation to construction, we aim to usher in a new era of building.Accelerating infrastructure development is key to unlocking advancements across various sectors, creating a self-sustaining engine to address humanity's most pressing challenges. The innovations we cultivate on Earth will pave the way for the technologies needed for future settlements on Mars.Position OverviewAs a Mission Control Software Engineer, you will engage with the entire software stack to create intuitive, high-performance interfaces for the real-time remote operation of heavy machinery through innovative user interfaces. This role demands strong frontend development skills for delivering seamless user experiences, alongside backend expertise to maintain a secure and scalable architecture. Daily tasks will include prototyping data-rich visualizations, constructing pipelines for intricate sensor data (such as LiDAR, geospatial, and 3D data), and optimizing user interactions. Rapid prototyping and iteration with users will be essential. Additionally, you will assist in managing production environments, deploying applications, and implementing best practices in networking, security, and deployment.
Join Our Team as a Quality Automation Engineer!Location: Austin, TX (Hybrid)Compensation: Competitive base salary plus comprehensive benefitsAs a Quality Automation Engineer at Togetherwork, you will be instrumental in ensuring the excellence, dependability, and scalability of our Petcare SaaS platforms. This hands-on role emphasizes both automated and manual testing, while also contributing to QA strategy development, mentoring fellow team members, and advancing our overarching quality practices.This position is perfect for a technically proficient individual who is passionate about quality and aspires to progress into a QA leadership role through collaborative and practical contributions.
Role overview Natera, Inc. is hiring a Senior Automation Engineer in Austin, TX. The position centers on designing, developing, and maintaining automated systems that support laboratory operations for genetic testing and diagnostics. Key responsibilities Create and refine automation systems to streamline laboratory workflows and boost efficiency. Collaborate with cross-functional teams to ensure automation solutions meet technical and quality standards for genomic testing. Troubleshoot and optimize automation technologies to support ongoing lab operations. About Natera Natera specializes in genetic testing and diagnostics, providing advanced genomic solutions for patients and healthcare providers.
At TerraFirma, we’re revolutionizing the earth-moving industry for construction projects. Founded by former SpaceX engineers and supported by Bain Capital Ventures, we aim to automate construction processes to enhance speed, affordability, and safety.Our Story & MissionOur experience at SpaceX has shown us that infrastructure is pivotal to progress. We contributed to the creation of the largest rocket and the deployment of the biggest satellite constellation, providing connectivity to millions. We discovered that the true challenge in launching missions to Mars was not just the rocket itself, but the slow, costly, and complex infrastructure development surrounding it. The realization dawned on us that the engineering principles that propelled us in space exploration could be equally effective in transforming infrastructure development on Earth. By applying simplification, iteration, acceleration, and automation to construction, we can usher in a new age of building.Accelerating infrastructure development is crucial for addressing humanity’s most pressing challenges and will eventually enable the technologies necessary for settling Mars.Job OverviewAs an Embedded Software Engineer at TerraFirma, you will play a critical role in managing the embedded hardware and software components of our robotic systems. Your responsibilities will include high-level design of custom hardware and low-level code implementation. On a daily basis, you will develop software for Linux-based systems with real-time constraints and work with microcontrollers for sensing and control. You will also spearhead platform bringup for new boards, create drivers for new chips and sensors, and contribute to the development of TerraFirma’s software testing frameworks and standards.ResponsibilitiesDesign and architect firmware and low-level code for embedded systems and microcontrollers.Conduct platform bringup for new hardware, including driver implementation, sensor integration, boot chain development, and basic networking.Oversee the integration, calibration, and testing of sensors for proof-of-concept and production.
Renesas Electronics is hiring a Principal Engineer for the Automated Derivatives team in Austin. This position plays a central role in shaping product development, emphasizing both engineering leadership and technical depth. Role overview The Principal Engineer oversees engineering projects within the Automated Derivatives group. The role requires working across teams to deliver reliable, high-quality solutions. Setting and maintaining standards for quality and performance is a key responsibility. The position also guides the design and implementation of advanced derivatives products, applying expertise in automated systems and core engineering principles. What you will do Lead engineering projects within the Automated Derivatives team Collaborate with cross-functional groups to achieve project goals Establish and maintain standards for quality and performance Direct the design and execution of derivatives products using automated systems expertise Requirements Extensive experience with automated systems and derivatives solutions Proven background in leading engineering projects Ability to collaborate effectively with multiple teams Dedication to high standards and continuous improvement This position provides the opportunity to influence product direction and contribute to innovation at Renesas Electronics in a collaborative setting.
Apr 20, 2026
Sign in to browse more jobs
Create account — see all 1,315 results
Tailoring 0 resumes…
Tailoring 0 resumes…
We'll move completed jobs to Ready to Apply automatically.