Software Engineer (Engineer III To Principal) - Formal Methods CertiKSoftware Engineer (Engineer III To Principal) - Formal MethodsNew York, NYRemote$115,000–$230,000 / yearAs part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
Senior Full Stack Software Engineer-Agentic Applications GTM Trade DeskSenior Full Stack Software Engineer-Agentic Applications GTMNew York, NY$103,200–$189,200 / yearGTM Engineering builds the internal products and AI systems that make our sellers, traders, and account teams faster and sharper — from sprint and pipeline dashboards to agentic assistants that prep a rep before a call or flag a deal at risk before it slips. Architect and build agentic systems that automate and augment GTM workflows — pipeline hygiene, account research, call prep, deal risk scoring, forecasting, and rep coaching — using LLM orchestration frameworks( Ex: LangGraph ).
Software Engineer (Trading Automation) FLOW TRADERSSoftware Engineer (Trading Automation)New York, NY$185,000–$240,000 / yearAll resumes, and any other information identifying potential candidates, submitted to any employee at Flow Traders via-email, the Internet or directly without a valid and signed search agreement will be deemed free to contact by Flow Traders without any restrictions and no placement fee of any kind will be paid in the event the candidate is hired by Flow Traders. You will also get the opportunity to interact and work closely with the global Trading Automation team and different departments to gain a well-rounded knowledge of start-to-end trading landscape, how they function and integrate within our ecosystem.
Talent Pool: Trading Systems Engineer FLOW TRADERSTalent Pool: Trading Systems EngineerNew York, NY$160,000–$215,000 / yearAll resumes, and any other information identifying potential candidates, submitted to any employee at Flow Traders via-email, the Internet or directly without a valid and signed search agreement will be deemed free to contact by Flow Traders without any restrictions and no placement fee of any kind will be paid in the event the candidate is hired by Flow Traders. Leverage automation and IaC to manage and optimize Linux and Kubernetes environments spanning bare‑metal, virtualized, and cloud‑native systems-streamlining workflows and reducing operational friction.
AI Forward Deployed Engineer Regal.ioAI Forward Deployed EngineerNew York, NY$135,000–$180,000 / yearRESPONSIBILITIES: Accelerate Customer Deployments: Execute end-to-end deployments by treating onboarding as a mini product cycle, integrating AI Agents seamlessly into customer systems and workflows to move the needle on key business metrics. Shape Conversational Experiences: Work internally with Regal AI Product Specialists to guide the creation and refinement of voice prompts and AI agent settings to achieve the conversational quality that is Regal's signature.
Senior Trading Software Engineer Belvedere TradingSenior Trading Software EngineerNew York, NY$175,000–$200,000 / yearOur traders work hard to provide liquidity to the market through their market-making activities and are the masters of a diverse set of commodities, interest rates, exchange-traded funds (ETF), and equity index options. Belvedere Trading is supportive of a Hybrid work schedule requiring two days a week in either the Chicago, Boulder, New York, or Singapore offices during normal business hours.
Software Engineer - Security Snorkel AI Inc.Software Engineer - SecurityNew York City, NY$220,000–$300,000 / yearWhether you're looking to deepen your technical expertise, explore leadership opportunities, or learn new skills across multiple functions, you're fully supported in building your career in an environment designed for growth, learning, and shared success. Builds trust with engineering, product, and infrastructure teams by proposing solutions that balance security posture with developer velocity - security controls that teams resist or work around deliver zero impact.
Software Engineer, Data Infrastructure & Acquisition - Newark, NJ, USA SpeechifySoftware Engineer, Data Infrastructure & Acquisition - Newark, NJ, USANewark, NJOver 50 million people use Speechify’s text-to-speech products to turn whatever they’re reading – PDFs, books, Google Docs, news articles, websites – into audio, so they can read faster, read more, and remember more. These include frontend and backend engineers, AI research scientists, and others from Amazon, Microsoft, and Google, leading PhD programs like Stanford, high growth startups like Stripe, Vercel, Bolt, and many founders of their own companies.
Software Engineer, Platform - Newark, NJ, USA SpeechifySoftware Engineer, Platform - Newark, NJ, USANewark, NJOver 50 million people use Speechify’s text-to-speech products to turn whatever they’re reading – PDFs, books, Google Docs, news articles, websites – into audio, so they can read faster, read more, and remember more. The responsibilities of our Platform team include building and maintaining all backend services, including, but not limited to, payments, analytics, subscriptions, new products, text to speech, and external APIs.
Engineer - Boiler Room, Evening Shift - Mineola New York University School of MedicineEngineer - Boiler Room, Evening Shift - MineolaMineola, NY$96,044.43–$107,321.28 / yearInforms Foreman Boiler Room, Assistant Foreman Boiler Room andor Chief Engineer or Director of Engineering of any emergency situation or serious impairment of serious impairment of Hospital equipment or systems Steam Plant equipment or systems. Informs Foreman Boiler Room, Assistant Foreman Boiler Room, Chief Engineer or Director of Engineering of any emergency situation or serious impairment of Steam Plant equipment or systems.
Backend Engineer Intern Cadent LLCBackend Engineer InternNew York, NY$20–$25 / hourEach intern will also complete one or more individual projects, tailored to their skills and interests, and present their work to the Technology Leadership team at the end of the program. Interns will gain hands-on experience by working with our teams on real backend systems-not observing from the sidelines.
Lead Packaging Engineering (Mechanical Engineer) Crestron Electronics IncLead Packaging Engineering (Mechanical Engineer)NJOur automation and control solutions for homes and buildings allow our clients to control entire environments with the push of a button, integrating systems such as Audio Visual, Lighting, Shading, Security, Building Management Systems and HVAC to provide greater comfort, convenience and security. Lead packaging sustainability strategy development and execution by researching emerging materials and technologies, developing strategic roadmaps, identify and develop strategic packaging vendors, and contributing to the company's annual sustainability report.
Machine Learning Engineer, Causal Inference, Level 5 SnapchatMachine Learning Engineer, Causal Inference, Level 5New York, NY$209,000–$313,000 / year5+ years of post-Bachelor's experience in machine learning, with hands-on experience in causal inference or experimentation; or Master's degree in a technical field + 4+ year of post-grad machine learning experience; or PhD in a relevant technical field + 2 years of post-grad machine learning experience. Knowledge, Skills & Abilities: Strong understanding of causal inference and modern approaches to estimating treatment effects (e.g., meta learners, propensity score matching, instrumental variables).
Applied AI Engineer - Equities & Fixed Income Sales Cognizant Technology Solutions CorpApplied AI Engineer - Equities & Fixed Income SalesNew York, NY$90,000–$109,500 / yearOur deep industry, process and engineering expertise enables us to build an organization's unique context into technology systems that amplify human potential, drive tangible outcomes and keep global enterprises ahead in a fast-changing world. The successful candidate will develop AI agents, copilots, CRM workflows, analytics applications, and productivity tools that improve client engagement, sales effectiveness, cross-sell opportunities, and management insight.
Data Engineer III Garner HealthData Engineer IIINew York City, New York$166,000–$205,000 / yearWe partner with employers to redesign how healthcare works: applying 550+ proprietary clinical metrics across 80+ specialties to a dataset of 320M+ patients to identify the best-performing doctors, then using compelling incentives to steer members to the care that helps them get healthier, faster. 2+ years of software/data engineering experience (distributed data processing, data warehousing, data governance, Big Data, data variance, data privacy, and data quality).
Artificial Intelligence & Machine Learning Engineer, Vice President - AI Labs BlackRockArtificial Intelligence & Machine Learning Engineer, Vice President - AI LabsNew York, New YorkOur teams work on some of the firm's highest priority strategic initiatives, including large-scale generative AI systems, intelligent agents, predictive analytics, optimization engines, operational risk solutions, and AI platforms that accelerate innovation across BlackRock. To help you stay energized, engaged and inspired, we offer a wide range of benefits including a strong retirement plan, tuition reimbursement, comprehensive healthcare, support for working parents and Flexible Time Off (FTO) so you can relax, recharge and be there for the people you care about.
Senior Data Engineer Garner HealthSenior Data EngineerNew York City, New York$220,000–$245,000 / yearWe partner with employers to redesign how healthcare works: applying 550+ proprietary clinical metrics across 80+ specialties to a dataset of 320M+ patients to identify the best-performing doctors, then using compelling incentives to steer members to the care that helps them get healthier, faster. Experience working with orchestration tools (especially Airflow), databases (especially PostgreSQL), datalakes (especially Iceberg), data warehouses (especially Snowflake).
Principal Power Supply Electrical Engineer BAE Systems PlcPrincipal Power Supply Electrical EngineerWayne, NJ$128,831–$219,012 / yearAbout BAE Systems Electronic Systems BAE Systems, Inc. is the U.S. subsidiary of BAE Systems plc, an international defense, aerospace and security company which delivers a full range of products and services for air, land and naval forces, as well as advanced electronics, security, information technology solutions and customer support services. Candidate will provide power supply electrical engineering support to a dynamic engineering development team, leading first unit test, design verification test, integration, and transition to production tasks on complex analog, digital, RF, and optical circuit cards and modules.
Chemical Engineer LeidosChemical EngineerWharton, New JerseySeptember 8, 2026 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. Primary responsibilities to include setup, operation and optimization of continuous flow processes, such as continuous flow synthesis reactors, continuous crystallizers, continuous separators and other continuous flow equipment.
Senior IT Engineer, Enterprise Systems JustworksSenior IT Engineer, Enterprise SystemsNew York, NY$147,000–$190,000 / yearFor example, we may use these tools to record, transcribe, and summarize interviews, to help organize and review applications, and to help us assess candidates by comparing their skills, experience, and qualifications against the criteria for open roles. At Justworks, you'll enjoy a welcoming and casual environment, great benefits, wellness program offerings, company retreats, and the ability to interact with and learn from leaders in the startup community.