3mo
Save
Mark Applied
Hide
Senior Software Engineer (Haskell/Functional Programming)
Chapel Hill or Newton or New York
$160k-$180k/yr RemoteFull Time
Expert in functional programming with Haskell; experience collaborating across mobile, backend and data science teams; healthcare security awareness; cloud platforms; data-driven systems.
Haskell, Functional programming, Microservices, Monolith, AWS, GCP, Azure, Databases, Streaming, APIs, LLMs
1mo
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
PhD or Master's degree; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis. Preferred experience with O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Santa Clara
$167k-$260k/yr OnsiteFull Time
PhD or Master's degree; experience in SAT, SMT, mechanical theorem proving, symbolic simulation, type systems, or program analysis; strong problem solving and research skills. Programming experience in functional/modern languages preferred.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Santa Clara
$143k-$222k/yr OnsiteFull Time
Ph.D. in computer science/engineering or related; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; programming experience in functional and systems languages; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, Microsoft Excel
1w
Save
Mark Applied
Hide
Staff Engineer (Platform)
Boston or Vancouver or Vancouver or North America
$175k-$250k/yr RemoteFull Time
7+ YOE7+ years software development with distributed systems and platform engineering; proficiency in typed functional programming, SQL/NoSQL (PostgreSQL preferred), Docker, Kubernetes, AWS, Git, CI/CD, security, and mentorship experience.
C#, TypeScript, Haskell, Scala, PostgreSQL, Docker, Kubernetes, AWS, Git, CI/CD, Infrastructure as Code, AI/ML
1mo
Save
Mark Applied
Hide
2027 Electrical Engineer Intern
Atlanta or Boston or Costa Mesa or Irvine or Seattle or Huntsville
$30-$45/hr OnsiteInternship
Pursuing a Bachelor's in Electrical or Computer Engineering, rising senior status, U.S. Person required, able to complete a 12-week in-person internship; familiarity with lab test equipment, embedded Linux, Git/GitHub/JIRA, Altium, and C/C++/Python preferred.
Oscilloscope, DMM, logic analyzer, debugger, current-probe, Git, GitHub, JIRA, Ethernet, CAN, I2C, SPI, PCIe, USB, embedded Linux, Altium Designer, C, C++, Python, Rust, Haskell
1mo
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$143k-$193k/yr OnsiteFull Time
PhD in CS/CE or related; experience in SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong research and problem-solving skills; mentoring and cross-organizational influence.
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
5d
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Portland
$167k-$226k/yr OnsiteFull Time
PhD or equivalent research experience; expertise in automated reasoning, theorem proving, program analysis or related areas; experience with SAT/SMT/mechanical theorem proving; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
2mo
Save
Mark Applied
Hide
2027 Early Career Electrical Engineer
Atlanta or Boston or Costa Mesa or Irvine or Seattle or Huntsville
$86k-$114k/yr OnsiteFull Time
Pursuing or recently completed BS/MS in EE/CE or related, able to start full-time in 2027, familiar with lab test equipment, embedded Linux, Altium, git/GitHub/JIRA, standard interfaces, and proficient in C/C++ and higher-level languages.
Oscilloscopes, DMM, Logic analyzers, Debuggers, Current-probes, git, GitHub, JIRA, Ethernet, CAN, I2C, SPI, PCIe, USB, embedded Linux, Altium Designer, C, C++, Python, Rust, Haskell
1w
Save
Mark Applied
Hide
Staff Engineer (Platform)
Boston or Vancouver or Vancouver
$175k-$250k/yr HybridFull Time
7+ YOE7+ years in software development with distributed systems and platform engineering; proficiency in typed functional programming, PostgreSQL, Docker, Kubernetes, AWS, CI/CD, and mentorship experience.
C#, TypeScript, Haskell, Scala, PostgreSQL, Docker, Kubernetes, AWS, Git, CI/CD
1w
Save
Mark Applied
Hide
Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$143k-$223k/yr OnsiteFull Time
PhD or equivalent research experience required; strong research background in automated reasoning; experience programming in functional/modern languages preferred.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
1w
Save
Mark Applied
Hide
Sr. Applied Scientist, AWS Automated Reasoning
Boston or Austin or Seattle or Santa Clara or New York or Portland
$167k-$260k/yr OnsiteFull Time
PhD or equivalent research experience required; experience with SAT, SMT, theorem proving, symbolic simulation, type systems, or program analysis; strong communication and mentoring skills.
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala