7,985 Software Programming jobs in the United States
Controls Engineer (Software Programming)
Posted 11 days ago
Job Viewed
Job Description
As a Controls Engineer, you will be responsible for designing advanced building automation systems, including the specification and sizing of controllers, electromechanical devices, sensors, networks, and computer hardware. Your work will involve creating sequences of operation for the control of all building systems and documenting the design, including revision control of resultant documents. You will adhere to project requirements and company standards while providing technical support and guidance to sales representatives and other engineers.
Responsibilities
+ Design and specify controllers, electromechanical devices, sensors, networks, and computer hardware for advanced building automation systems.
+ Create sequences of operation for the control of all building systems.
+ Document and manage revisions of building automation system designs.
+ Mentor other Controls Engineers and adhere to project requirements and company standards.
+ Create clear design documents for project teams with technical information.
+ Develop graphical and text-based interfaces for building automation systems.
+ Support functional testing for complex building systems.
+ Identify and communicate project opportunities and risks related to cost, time, and technical considerations.
+ Create clear and concise requests for information (RFIs).
+ Maintain and advise on customer and company design and programming standards, including parts and practices.
+ Provide input and advice on design and programming standards.
Essential Skills
+ Bachelor's degree with 2+ years of engineering or HVAC controls industry experience.
+ Thorough understanding of electrical and mechanical building systems.
+ Proficiency in designing and programming complex building automation projects.
+ Ability to interpret architectural, mechanical, and electrical blueprints.
+ Proficiency with building automation system software, Automated Logic suites preferred.
+ Advanced working knowledge of third-party communication protocols such as BACnet, Modbus, SNMP, LON, N2.
+ Knowledge of Enterprise IP networks and Microsoft Visio.
+ Experience with advanced written sequences of operations and diagrammatic depictions of systems.
+ Strong problem-solving aptitude, including remote troubleshooting.
+ Excellent time management skills and competency with Microsoft Windows, Outlook, Word, and Excel.
Additional Skills & Qualifications
+ Capability to translate technical information to both technical and non-technical audiences.
+ Provide guidance and direction to other team members.
Work Environment
This in-house engineering role offers future growth opportunities to expand into field work. Typical working hours are from 8 AM to 4:30 PM. Engineers are likely to manage multiple projects, ranging from small to large scale, with varied prioritization. Projects are primarily located in the NY/NJ area, including Manhattan, Queens, Brooklyn, and occasionally extending to Middlesex County. The work involves construction on high-rise buildings, K-5 schools, and retrofits on data centers.
Pay and Benefits
The pay range for this position is $36.06 - $45.00/hr.
Eligibility requirements apply to some benefits and may depend on your job classification and length of employment. Benefits are subject to change and may be subject to specific elections, plan, or program terms. If eligible, the benefits available for this temporary role may include the following:
- Medical, dental & vision - Critical Illness, Accident, and Hospital - 401(k) Retirement Plan - Pre-tax and Roth post-tax contributions available - Life Insurance (Voluntary Life & AD&D for the employee and dependents) - Short and long-term disability - Health Spending Account (HSA) - Transportation benefits - Employee Assistance Program - Time Off/Leave (PTO, Vacation or Sick Leave)
Workplace Type
This is a fully onsite position in Clifton,NJ.
Application Deadline
This position is anticipated to close on Aug 27, 2025.
About Actalent
Actalent is a global leader in engineering and sciences services and talent solutions. We help visionary companies advance their engineering and science initiatives through access to specialized experts who drive scale, innovation and speed to market. With a network of almost 30,000 consultants and more than 4,500 clients across the U.S., Canada, Asia and Europe, Actalent serves many of the Fortune 500.
The company is an equal opportunity employer and will consider all applications without regard to race, sex, age, color, religion, national origin, veteran status, disability, sexual orientation, gender identity, genetic information or any characteristic protected by law.
If you would like to request a reasonable accommodation, such as the modification or adjustment of the job application process or interviewing due to a disability, please email (% ) for other accommodation options.
Software Developer/Programming Support
Posted 6 days ago
Job Viewed
Job Description
Software Developer & Programming Support
Cooperative Research Branch (CRB) Support Services
Falmouth, MA (WHOI); Pocasset, MA; and Narragansett, RI
This role supports the design, development, and maintenance of CRB software tools for the Northeast Fisheries Science Center (NEFSC)
Join @Orchard in powering NOAA's collaborative fisheries science through technology. This role supports the Northeast Fisheries Science Center's (NEFSC) Cooperative Research Branch (CRB), where cutting-edge data systems drive partnerships with commercial and recreational fishers to improve resource management and ecosystem understanding.
As part of this mission, @Orchard is seeking an experienced Software Application Developer to help design, build, and maintain web-based applications that enhance cooperative research efforts and data collection across the Gulf of Maine and beyond.
In this role, you'll work closely with NOAA staff to create intuitive, secure, and scalable software solutions that support at-sea research, partner collaboration, and data integration. You'll also contribute to application lifecycle management, from user requirements and development to security implementation and documentation, while helping evolve the digital tools used in real-time marine research.
If you're skilled in full-stack development and passionate about applying your expertise in a mission-driven environment, this is a great opportunity to make an impact in federal science and sustainable fisheries research.
Key Responsibilities
As a Software Application Developer, your primary duties will include:
- Working closely with staff from NOAA NEFSC Cooperative Research Branch (CRB) to design, build, and maintain applications that support cooperative research efforts.
- Designing, developing, and maintaining web-based applications with flexible architecture and the use of Application Programming Interfaces (API) to better facilitate system-level integration
- Maintaining existing systems throughout their lifecycle, which includes decommissioning applications whose functions are incorporated by new applications or are no longer needed.
- Supporting application development through integrated project work group meetings, data modeling, code reviews, and system reviews for quality and performance
- Analyzing project information requirements to research and suggest emerging technologies and how they can address future development needs
- Defining and refining user requirements
- Implementing and integrating security standards set by the NOAA/NMFS/ Office of the Chief Information Officer (OCIO) and implemented by NEFSC's Information Technology Division.
- Following security and development standards set by the NEFSC's Information Technology Division.
- May require dockside/Harbor Side Work.
To be successful in the role, candidates must possess the following qualifications:
- Minimum of seven (7) years of relevant experience, requirements for advanced degrees or credentials.
- Proficiency in HTML5, CSS, PHP, SQL, JQUERY, and JAVASCRIPT.
- Working knowledge of other programming languages, such as R, Unix shell scripting, etc.
- Experience with Bluetooth I/O preferred
- Proficiency in designing, creating, and developing APIs (CSV and JSON-based) that interface with Oracle database systems (11g and 12c).
- Experience in code migration, database change management, and data management in multiple environments and different stages of the development life cycle.
- Familiarity with Oracle, SQL, and related database tools and technologies is highly desirable.
- Experience with developing performance metrics and milestones.
- Experience developing and monitoring resource investment strategies.
- Experience working with marine fisheries information programs or other science-based systems.
- Current MS Office and Google Workspace skills.
- Proficiency in HTML5, CSS, PHP, SQL, JQUERY, and JAVASCRIPT.
- Working knowledge of other programming languages, such as R, Unix shell scripting, etc.
- Demonstrated proficiency in designing, creating, and developing APIs (CSV and JSON-based) that interface with Oracle database systems (11g and 12c).
- Familiarity with Oracle, SQL, and related database tools and technologies.
- Driver's License: Must hold a valid state driver's license with the ability to operate a federal motor vehicle.
This position includes authorized overtime, travel, and training as required by the project scope. If you are ready to contribute to a vital environmental mission, we encourage you to apply.
Established in 2010, @Orchard LLC has an exceptional reputation, providing staffing solutions to time-sensitive, talent scarcity issues to deliver better talent management ROI. Our specialty lies in the critical area of program talent acquisition and resource management, not in one narrow skillset, but across many areas of technical and functional delivery. To learn more about our other exciting opportunities, visit our Jobs Page at .
Software Developer/Programming Support
Posted 24 days ago
Job Viewed
Job Description
Software Developer & Programming Support
Cooperative Research Branch (CRB) Support Services
Falmouth, MA (WHOI); Pocasset, MA; and Narragansett, RI
This role supports the design, development, and maintenance of CRB software tools for the Northeast Fisheries Science Center (NEFSC)
Join @Orchard in powering NOAA's collaborative fisheries science through technology. This role supports the Northeast Fisheries Science Center's (NEFSC) Cooperative Research Branch (CRB), where cutting-edge data systems drive partnerships with commercial and recreational fishers to improve resource management and ecosystem understanding.
As part of this mission, @Orchard is seeking an experienced Software Application Developer to help design, build, and maintain web-based applications that enhance cooperative research efforts and data collection across the Gulf of Maine and beyond.
In this role, you'll work closely with NOAA staff to create intuitive, secure, and scalable software solutions that support at-sea research, partner collaboration, and data integration. You'll also contribute to application lifecycle management, from user requirements and development to security implementation and documentation, while helping evolve the digital tools used in real-time marine research.
If you're skilled in full-stack development and passionate about applying your expertise in a mission-driven environment, this is a great opportunity to make an impact in federal science and sustainable fisheries research.
Key Responsibilities
As a Software Application Developer, your primary duties will include:
- Working closely with staff from NOAA NEFSC Cooperative Research Branch (CRB) to design, build, and maintain applications that support cooperative research efforts.
- Designing, developing, and maintaining web-based applications with flexible architecture and the use of Application Programming Interfaces (API) to better facilitate system-level integration
- Maintaining existing systems throughout their lifecycle, which includes decommissioning applications whose functions are incorporated by new applications or are no longer needed.
- Supporting application development through integrated project work group meetings, data modeling, code reviews, and system reviews for quality and performance
- Analyzing project information requirements to research and suggest emerging technologies and how they can address future development needs
- Defining and refining user requirements
- Implementing and integrating security standards set by the NOAA/NMFS/ Office of the Chief Information Officer (OCIO) and implemented by NEFSC's Information Technology Division.
- Following security and development standards set by the NEFSC's Information Technology Division.
- May require dockside/Harbor Side Work.
To be successful in the role, candidates must possess the following qualifications:
- Minimum of seven (7) years of relevant experience, requirements for advanced degrees or credentials.
- Proficiency in HTML5, CSS, PHP, SQL, JQUERY, and JAVASCRIPT.
- Working knowledge of other programming languages, such as R, Unix shell scripting, etc.
- Experience with Bluetooth I/O preferred
- Proficiency in designing, creating, and developing APIs (CSV and JSON-based) that interface with Oracle database systems (11g and 12c).
- Experience in code migration, database change management, and data management in multiple environments and different stages of the development life cycle.
- Familiarity with Oracle, SQL, and related database tools and technologies is highly desirable.
- Experience with developing performance metrics and milestones.
- Experience developing and monitoring resource investment strategies.
- Experience working with marine fisheries information programs or other science-based systems.
- Current MS Office and Google Workspace skills.
- Proficiency in HTML5, CSS, PHP, SQL, JQUERY, and JAVASCRIPT.
- Working knowledge of other programming languages, such as R, Unix shell scripting, etc.
- Demonstrated proficiency in designing, creating, and developing APIs (CSV and JSON-based) that interface with Oracle database systems (11g and 12c).
- Familiarity with Oracle, SQL, and related database tools and technologies.
- Driver's License: Must hold a valid state driver's license with the ability to operate a federal motor vehicle.
This position includes authorized overtime, travel, and training as required by the project scope. If you are ready to contribute to a vital environmental mission, we encourage you to apply.
Established in 2010, @Orchard LLC has an exceptional reputation, providing staffing solutions to time-sensitive, talent scarcity issues to deliver better talent management ROI. Our specialty lies in the critical area of program talent acquisition and resource management, not in one narrow skillset, but across many areas of technical and functional delivery. To learn more about our other exciting opportunities, visit our Jobs Page at
COMPUTER PROGRAMMING AND SOFTWARE DEVELOPMENT INSTRUCTOR
Posted 8 days ago
Job Viewed
Job Description
TEACHER
Date Posted:
8/15/2025
Location:
Akron Public Schools
Date Available:
TBD
Closing Date:
08/25/2025
Posting Opens: August 15, 2025 Posting Closes: August 25, 2025
The Akron Board of Education announces an opening for an Integrated Software Instructor, Job Code 006, Time Schedule 380 (190 days). Extended time may be required before and/or after the school year for this position which would be compensated at the hourly extended time rate. Collective Bargaining Unit - AEA. This is a State Teachers Retirement System position.
Application must be made electronically through
Please upload a letter of interest, resume, and a current copy of appropriate license and/or certificate, in addition to completing the online application. The Superintendent reserves the right to either keep the position open until suitable applicants are found or to cancel and repost the position with such changes as may be deemed appropriate. For further information, please contact Nathan Ruyan, Coordinator, Office of College and Career Academies of Akron, .
QUALIFICATIONS - Required:
- Currently hold a Career Technical teaching license issued by the state of Ohio and eligible to teach courses in the Information Technology (NO-N-4) Career Fields; or,
- Eligible for teaching certificate documented by a current CTE-36, and
- Complete the eligibility process as determined by your level of formal education. The Ohio Department of Education will determine applicant's eligibility for certification using the CTE-36, Qualification Evaluation Form. This form is available from the Office of College and Career Academies, .
- The following indicates your current level of formal education and the minimum years of recent employment required:
- Bachelor's degree in Computer Science or Information Technology with evidence of at least two years of recent work experience in one of the business or IT career fields; or
- Associate's degree in Computer Science or Information Technology with evidence of at least three years of recent work experience in an IT career field; or
- High School diploma or equivalent and evidence of at least five years of recent work experience in an IT career field.
- New hires, not currently certified, must be eligible to enroll into a teacher education program leading to a five-year professional teaching license.
- In addition to teacher licensure, the applicant will:
- Obtain and keep current all industry standards certification/credentials or designations required by the state for career technical funding.
- Meet all district requirements for entry-year teachers including Four Year Resident Educator and/or PAR.
- Willing to attend required third party curriculum training.
- Knowledge of programming languages such Python, Java, JavaScript and/or other object-oriented languages.
- Understanding of computer hardware components and operating system fundamentals.
- 5 years of professional programming experience.
- Experience with educational pedagogies and Google Apps for Education.
- A commitment to annually updating educational and trade skills.
- A commitment to working with students, professionals, and community members in a multi-cultural setting.
- Work with the Office of College and Career Academies and be responsible for the pathway, recruitment of students, collaborate with community partnerships, market program successes, develop course of study, participate in group activities and take part in action research when appropriate.
- Work with the Office of College and Career Academies to design, organize, and deliver skill-training opportunities as outlined by the Quality Program Rubric.
- Assist in the development of the curriculum outline, guides and graded course of study utilizing the appropriate standards for the pathway in accordance with guidelines of the Ohio Department of Education.
- Plan, instruct, and manage required student occupational opportunities through school-based learning, work-based learning, and connective activities. Examples include, but are not limited to, classroom instruction, speakers' bureau, field experiences, shadowing, internships, mentoring, college visits, early placement, advanced training options, and apprenticeships.
- Plan and teach a career cluster class.
- Establish and work closely with an Academy Advisory Board as outlined by the Quality Program Rubric.
- Work with the Local Professional Development Committee (LPDC) to develop an Individual Professional Development Plan (IPDP), as mandated by the State of Ohio to maintain proper certification/license.
- Keep in close contact with the home through phone calls, visits, parent/teacher conferences, report card pickup, and written communications.
- Promote and participate in local, state, and national student organization activities.
- Assist in developing, maintaining, and modifying student's Individual 10-year Plan and utilize an online college and career advising platform. The passport should list occupational skills obtained at the conclusion of the training program and individual long-term goals.
- Provide students pathways to further education, including instructional and/or support for dual enrollment and post-secondary options.
- Assist students in securing employment.
- Provide students pathways to obtain industry certification/credentials.
- Work to improve student outcomes and test scores whenever possible especially the Ohio State Tests, the Ohio Career Technical Assessment through practical applications of academic standards.
- Enhance classroom instruction by implementing technology.
- Maintain a complete file of all necessary work permits, student identification material, internship, early- placement material which includes, but is not limited to, permission slips, training agreements, training plans, parent-student agreement, and documentation of employment supervision.
- Operate the laboratory, when open to customer service (where applicable), in an industry- approved method incorporating acceptable business practices.
- Complete necessary reports, forms, and accounting procedures required by the building principal, Office of College and Career Academies, Auditor, and the Treasurer.
- Maintain an inventory of supplies and equipment in the laboratory.
- Report to and carry out any other responsibilities as assigned by the building principal.
IF YOU REQUIRE ANY SPECIAL SERVICES (SUCH AS INTERPRETER, BRAILLE OR LARGER PRINT, OR WHEELCHAIR-ACCESSIBLE ACCOMMODATIONS) COVERED UNDER THE AMERICANS WITH DISABILITIES ACT OF 1990, PUBLIC LAW 101-336, SECTION 102, PLEASE CALL THE DEPARTMENTOF HUMAN CAPITAL AT .
IF YOU ARE USING A TTY/TTD, PLEASE CALL THE OHIO RELAY SERVICE, 1- . AKRON PUBLIC SCHOOLS IS AN EQUAL OPPORTUNITY EMPLOYER AND DOES NOT DISCRIMINATE ON THE BASIS OF RACE, COLOR, NATIONAL ORIGIN, SEX (INCLUDING SEXUAL ORIENTATION AND TRANSGENDER IDENTITY), DISABILITY, AGE, RELIGION, MILITARY STATUS, ANCESTRY OR GENETIC INFORMATION (COLLECTIVELY, "PROTECTED CLASSES").
Senior Software Engineer, Programming Languages & Compilers
Posted 22 days ago
Job Viewed
Job Description
Every day, tens of millions of people come to Roblox to explore, create, play, learn, and connect with friends in 3D immersive digital experiences– all created by our global community of developers and creators.
At Roblox, we’re building the tools and platform that empower our community to bring any experience that they can imagine to life. Our vision is to reimagine the way people come together, from anywhere in the world, and on any device.We’re on a mission to connect a billion people with optimism and civility, and looking for amazing talent to help us get there.
A career at Roblox means you’ll be working to shape the future of human interaction, solving unique technical challenges at scale, and helping to create safer, more civil shared experiences for everyone.
To make tomorrow's top games, developers on the Roblox platform need more than just a scripting environment that works–they need modern languages features, advanced programming interfaces, an efficient set of script libraries, a comprehensive suite of development tools, and an ultra-fast, multithreaded runtime. Join our Game Engine Programmability team and help define the Roblox scripting language as well as help drive the development of a new set of programming interfaces and advanced tooling features that will be used by millions of developers daily.
As a Senior Software Engineer on the Roblox Game Engine Programmability Team,
You Will:
Contribute to the design and development of new features in Luau across its highly-efficient type solver, analysis tools, compiler, virtual machine and runtime stack.
Take ownership of new feature development from concept and prototyping to deployment and maintenance.
Improve the adaptability and performance of existing components.
Collaborate with engineers across various engine and partner teams to build collaborative solutions.
You Have:
Proficiency in C++ and a solid understanding of programming languages, compilers and runtime.
Over 5+ years of experience in developing and deploying user-facing software development tools such as programming language compilers, virtual machines, and runtime APIs.
A Bachelor's or Master's degree in Computer Science or equivalent experience.
Enthusiasm about modern programming languages, compilers, virtual machines, just-in-time compilation, garbage collectors and runtime domain.
Desire to constantly learn and keep abreast of the latest trends in scripting languages and programming environments.
Experience with API and tool development, game development, and distributed systems. Experience with Lua or Luau scripting is a plus.
A strong grasp of industry standards, best practices, and design patterns.
The ability to analyze and approach problems from multiple perspectives, weighing the advantages and drawbacks of different solutions.
For roles that are based at our headquarters in San Mateo, CA: The starting base pay for this position is as shown below. The actual base pay is dependent upon a variety of job-related factors such as professional background, training, work experience, location, business needs and market demand. Therefore, in some circumstances, the actual salary could fall outside of this expected range. This pay range is subject to change and may be modified in the future. All full-time employees are also eligible for equity compensation and for benefits as described on this page .
Annual Salary Range
$192,890—$238,520 USD
Roles that are based in our San Mateo, CA Headquarters are in-office Tuesday, Wednesday, and Thursday, with optional in-office on Monday and Friday (unless otherwise noted).
Roblox provides equal employment opportunities to all employees and applicants for employment and prohibits discrimination and harassment of any type without regard to race, color, religion, age, sex, national origin, disability status, genetics, protected veteran status, sexual orientation, gender identity or expression, or any other characteristic protected by federal, state or local laws. Roblox also provides reasonable accommodations for all candidates during the interview process.
Software Engineer, Programming Languages (San Francisco)
Posted 12 days ago
Job Viewed
Job Description
Aptos is a people-first blockchain on a mission to help billions of people achieve universal and fair access to decentralized assets in a safe and scalable way.
Founded by some of the original creators and maintainers that researched, designed, and built the Diem blockchain to serve this purpose, we have dedicated several years toward this mission. We believe the open-source Diem technology we have developed is an important foundation of a safe and scalable web3 world where everyone has more equitable opportunities to grow and access financial assets with lower fees and fewer intermediaries.
Aptos (Ohlone for The People) encompasses our mission and ethos for why we build.
Aptos is a people-first blockchain on a mission to help billions of people achieve universal and fair access to decentralized assets in a safe and scalable way.
Founded by some of the original creators and maintainers that researched, designed, and built the Diem blockchain to serve this purpose, we have dedicated several years toward this mission. We believe the open-source Diem technology we have developed is an important foundation of a safe and scalable web3 world where everyone has more equitable opportunities to grow and access financial assets with lower fees and fewer intermediaries.
Aptos (Ohlone for The People) encompasses our mission and ethos for why we build.
About The Role
As part of the Programming Languages team, you will be responsible for advancing the state of the art of the Move language platform. This includes evolving the design of the language together with the Move community, as well as contributing to a wide spectrum of tools from improving security for Move up to better developer usability. You will be closely working with the Aptos framework team which develops smart contracts in Move, as well as the larger community of Aptos Move developers.
We are welcoming highly skilled applicants through all seniority levels. Talk with us if you enjoy working on one or more of the topics below, and bring the expertise to do so with you!
Some of the things you might be doing:
- Evolving the design and implementation (compiler, VM) of the Move language, together with the larger Move community.
- Enhancing the integration of the Move VM into the Aptos environment, interacting with our internal and external Move developer community
- Working on tools for testing, formal verification (Move Prover), static analysis, and runtime verification for Move.
- Working on tools for bug finding in safe Rust programs.
- Working on IDE integrations of Move and other development tools.
- Working on core Move libraries and their native implementations.
Some of the things we're looking for:
- Experience with language design and compiler construction
- Experience in developing virtual machines and runtime environments
- Experience in program analysis and program productivity tools.
- Experience in symbolic execution and mechanical reasoning, SMT techniques and formal verification.
- Experience in language security and fuzzing tools
The base salary range for this full-time position is $180k - $00k. The range displayed on each job posting reflects the minimum and typical maximum target for new hire salaries for the position of a candidate based in the Bay Area at any level. We do hire exceptionally talented professionals with decades of experience in their field. As such, our range may be higher than what is displayed. Our base salary ranges are determined by experience and location, and we hire at all levels for multiple roles. Within the range, individual pay is determined by work location, job-related skills demonstrated during the interviews, working experience, and relevant education or training. Please note that the compensation details listed in role postings reflect the base salary only and do not include equity, tokens, or benefits.
- 100% insurance premium coverage for medical, dental, and vision for you and your dependents (US Employees)
- Equipment of your choice
- Flexible vacation time, 11 holidays, and floating company days off
- Equity (RSUs) (US employees)
- 401k matching (US Employees)
- Fun and inclusive in-person and digital events
Aptos is committed to diversity in the workplace, and were proud to be an Equal Opportunity Employer. We do not hire on the basis of race, color, religion, creed, gender, national origin, citizenship, age, disability, veteran status, marital status, pregnancy, parental status, sex, gender expression or identity, sexual orientation, or any other basis protected by local, state or federal law. All employment is decided based on qualifications, merit, and business need.
We are committed to providing a safe and secure hiring process for all applicants. Unfortunately, there are individuals who may attempt to impersonate Aptos or our employees for fraudulent purposes.To protect yourself, please be aware of the following:
- We willnever ask you for payment of any kind during the application or onboarding process, including fees for background checks, training, or equipment.
- We willalways communicate with you using our official company email domain.
- We willnever request your personal financial information, such as your social security number or bank account details, during the initial application stages or via email or a video/voice call when onboarding.
Aptos is a people-first blockchain on a mission to help billions of people achieve universal and fair access to decentralized assets in a safe and scalable way.
Founded by some of the original creators and maintainers that researched, designed, and built the Diem blockchain to serve this purpose, we have dedicated several years toward this mission. We believe the open-source Diem technology we have developed is an important foundation of a safe and scalable web3 world where everyone has more equitable opportunities to grow and access financial assets with lower fees and fewer intermediaries.
Aptos (Ohlone for The People) encompasses our mission and ethos for why we build.
About The Role
As part of the Programming Languages team, you will be responsible for advancing the state of the art of the Move language platform. This includes evolving the design of the language together with the Move community, as well as contributing to a wide spectrum of tools from improving security for Move up to better developer usability. You will be closely working with the Aptos framework team which develops smart contracts in Move, as well as the larger community of Aptos Move developers.
We are welcoming highly skilled applicants through all seniority levels. Talk with us if you enjoy working on one or more of the topics below, and bring the expertise to do so with you!
Some of the things you might be doing:
- Evolving the design and implementation (compiler, VM) of the Move language, together with the larger Move community.
- Enhancing the integration of the Move VM into the Aptos environment, interacting with our internal and external Move developer community
- Working on tools for testing, formal verification (Move Prover), static analysis, and runtime verification for Move.
- Working on tools for bug finding in safe Rust programs.
- Working on IDE integrations of Move and other development tools.
- Working on core Move libraries and their native implementations.
Some of the things we're looking for:
- Experience with language design and compiler construction
- Experience in developing virtual machines and runtime environments
- Experience in program analysis and program productivity tools.
- Experience in symbolic execution and mechanical reasoning, SMT techniques and formal verification.
- Experience in language security and fuzzing tools
The base salary range for this full-time position is 180k - 300k. The range displayed on each job posting reflects the minimum and typical maximum target for new hire salaries for the position of a candidate based in the Bay Area at any level. We do hire exceptionally talented professionals with decades of experience in their field. As such, our range may be higher than what is displayed. Our base salary ranges are determined by experience and location, and we hire at all levels for multiple roles. Within the range, individual pay is determined by work location, job-related skills demonstrated during the interviews, working experience, and relevant education or training. Please note that the compensation details listed in role postings reflect the base salary only and do not include equity, tokens, or benefits.
Our Benefits
- 100% insurance premium coverage for medical, dental, and vision for you and your dependents (US Employees)
- Equipment of your choice
- Flexible vacation time, 11 holidays, and floating company days off
- Competitive Salary
- Equity (RSUs) (US employees)
- Protocol Token Grants
- 401k matching (US Employees)
- Fun and inclusive in-person and digital events
Aptos is committed to diversity in the workplace, and were proud to be an Equal Opportunity Employer. We do not hire on the basis of race, color, religion, creed, gender, national origin, citizenship, age, disability, veteran status, marital status, pregnancy, parental status, sex, gender expression or identity, sexual orientation, or any other basis protected
Software Engineer - Functional Programming
Posted 22 days ago
Job Viewed
Job Description
Description
Are you a motivated Software Engineer with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a Software Engineer , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
Primary Responsibilities:
-
Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
-
Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
-
Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
-
Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
-
Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
Basic Qualifications:
-
Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
-
Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
-
Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
-
Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
-
Hands-on experience developing and fielding real-world software.
-
Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
-
Strong technical writing and communication skills.
-
Strong understanding of sound software development principles and practices and ability to define software development processes.
-
Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
Preferred Qualifications:
-
Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
-
Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
-
Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
-
Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
-
Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
Original Posting:
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Pay Range:
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R-00163342-OTHLOC-PL-2D0103
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.
Be The First To Know
About the latest Software programming Jobs in United States !
Software Engineer - Functional Programming
Posted 22 days ago
Job Viewed
Job Description
Description
Are you a motivated Software Engineer with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a Software Engineer , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
Primary Responsibilities:
-
Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
-
Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
-
Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
-
Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
-
Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
Basic Qualifications:
-
Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
-
Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
-
Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
-
Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
-
Hands-on experience developing and fielding real-world software.
-
Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
-
Strong technical writing and communication skills.
-
Strong understanding of sound software development principles and practices and ability to define software development processes.
-
Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
Preferred Qualifications:
-
Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
-
Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
-
Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
-
Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
-
Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
Original Posting:
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Pay Range:
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R-00163342
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.
Software Engineer - Functional Programming

Posted today
Job Viewed
Job Description
Are you a motivated **Software Engineer** with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a **Software Engineer** , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
**Primary Responsibilities:**
+ Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
+ Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
+ Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
+ Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
+ Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
**Basic Qualifications:**
+ Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
+ Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
+ Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
+ Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
+ Hands-on experience developing and fielding real-world software.
+ Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
+ Strong technical writing and communication skills.
+ Strong understanding of sound software development principles and practices and ability to define software development processes.
+ Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
**Preferred Qualifications:**
+ Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
+ Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
+ Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
+ Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
+ Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
**Original Posting:**
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
**Pay Range:**
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R-00163342
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.
Software Engineer - Functional Programming
Posted 27 days ago
Job Viewed
Job Description
Are you a motivated **Software Engineer** with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a **Software Engineer** , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
**Primary Responsibilities:**
+ Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
+ Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
+ Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
+ Produce technical documentation, mentor junior engineers, and contribute to knowledge transfer within the Resilient Systems Campaign.
+ Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
**Basic Qualifications:**
+ Bachelor's degree in computer science, computer engineering, electrical engineering, or a closely related technical field.
+ Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master's with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain.
+ Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others.
+ Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others.
+ Hands-on experience developing and fielding real-world software.
+ Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts.
+ Strong technical writing and communication skills.
+ Strong understanding of sound software development principles and practices and ability to define software development processes.
+ Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
**Preferred Qualifications:**
+ Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others.
+ Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL.
+ Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets.
+ Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications.
+ Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for "how it's always been done."
**Original Posting:**
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
**Pay Range:**
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline onlyand not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.
REQNUMBER: R-00163342-OTHLOC-PL-2D0103
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status. Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws. Leidos is an equal opportunity employer/disability/vet.