51 to 65 of 65 Functional Programming Jobs

Be a team player and willing to work in an onsite-offshore model, mentor other folks in the team (onsite as well as offshore) *5+ years of experience in programming with python. Strong proficiency in python *Familiarity with functional programming concepts *3+ years of hands-on experience in developing ETL data pipelines using pySpark on AWS EMR More ❯

doctors, and administrators - and turn confusing, click-heavy workflows into fast, intuitive experiences. Your Experience: Minimum of 10 years of professional software engineering experience. Proficiency with object oriented and functional programming, with the ability and willingness to use and adopt new technologies. We use tools such as Phoenix, Elixir, Python, Erlang, Javascript, Node.js and more. Strong ability to More ❯

maintaining data pipelines Working with time-series and structured/unstructured datasets Applying your industry know-how within financial data to ensure continual product development Tech youll work with: Functional programming i.e. Ruby, Python, Elixir PostgreSQL OpenAPI integrations Various data streaming and processing tools Whats in it for you: Fully remote working Flexible hours Trust and ownership Chance More ❯

How to Apply Please apply in strict confidence by sending your CV through to Kate Morgan at CV Screen today. Alternate Job Titles Elixir Software Engineer Backend Developer (Elixir) Functional Programming Developer Software Engineer (Hybrid) CV Screen Ltd acts as an employment agency for permanent recruitment and employment business for the supply of temporary workers. By applying for More ❯

passion for applying pure mathematics and logic in mission-focused settings. Responsibilities: Provide technical and programmatic oversight of cybersecurity R&D projects with a focus in formal methods, cryptography, programming language theory, applied category theory , and other disciplines within applied mathematics Engage directly with new and existing relationships with customers, partners, and collaborators across the government R&D community … and capture of Government R&D contracts/programs Strong foundational knowledge in Cybersecurity and at least one of: formal methods/formal verification, cryptography, mathematical logic, abstract algebra, programming language theory, or a similar discipline Past performance as a principal investigator (PI) on fast-paced, innovation-driven, advanced technology R&D projects for government clients (e.g. DARPA, DoD … Top Secret security clearance Nice to have: An advanced degree (Master's or PhD) in Mathematics, Computer Science, Computer/Electrical Engineering, or related technical domain Knowledge of a functional programming language (Haskell, OCaml, SML) Experience with computer proof assistants (Coq, Isabelle/HOL, Lean) Experience in cybersecurity and related disciplines (program analysis, vulnerability research, computer network operations More ❯

minimizing the maintenance burden of our products Requirements 5+ years professional experience in software engineering Experience (professional or in the setting of an open source community) working with typed functional programming languages (Haskell or Rust) Experience with software-defined digital radio systems Preferred Experience with MATLAB, especially C code generation, Linux kernel module development Experience with FPGA development … Verilog, VHDL, etc.), especially Xilinx devices and tools Experience with graphics programming (OpenGL, DirectX, Vulkan, etc.), Nix/NixOS More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests but you could be working on: • Designing and developing scalable, tested and production grade distributed systems • R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml • Building out Machine Learning Infrastructure and tweaking research models What else More ❯

the best team to suit your skillset/interests, but you could be working on: Designing and developing scalable, tested and production-grade distributed systems R&D work for functional programming; either pre-existing languages (such as Rust and Erlang), or purpose-built languages similar to OCaml Building out Machine Learning Infrastructure and tweaking research models What else More ❯

M&S. Must have the ability to conduct research and perform analysis on requirements, capability, and operational effects. Must be proficient with Python, Matlab, C+, C#, Java, or similar programming languages. Must have a passion for solving problems and providing workable solutions. Must have strong analytical and reasoning skills and ability to visualize processes and outcomes. Must have outstanding … Linux, Windows, Microservice Patterns, Docker, Kubernetes, Gitlab/Github/Git, Continuous Integration/Continuous Delivery, Cloud Services, Automation, JIRA, Java/Scala/Python/Groovy/Gradle, Functional Programming. Prefer proficiency with high-performance computing (HPC) resources. Security Requirements: Must be eligible to obtain and maintain a DoD clearance. Prefer an Active DoD Secret clearance. Travel Requirements More ❯