Striveworks | ONSITE | Senior Software Engineer/Senior Data Engineer/Site Reliability Engineer @ AI/MLOps Company | Austin or Washington DC
Senior Data Engineer - https://boards.greenhouse.io/striveworks/jobs/4359840003?t=f... Site Reliability Engineer - https://boards.greenhouse.io/striveworks/jobs/4255981003?t=f... Senior Software Engineer WDC - https://boards.greenhouse.io/striveworks/jobs/4560585003?t=f... Senior Software Engineer ATX - https://boards.greenhouse.io/striveworks/jobs/4217613003?t=f...
Haven't heard of Striveworks? There's a reason for that... we're Austin's best kept tech secret. Our people and products shape solutions that directly affect the geopolitical landscape. We are cross-functional talent working together on the cutting edge to provide mission critical solutions. Keep reading to learn the perks of joining a well-funded MLOps startup with major contracts in highly regulated spaces.
##The Right Fit## Sr Software Eng * 4+ years relevant experience * Excellence in Python or GoLang * Applicants welcome with excellence in another major language, particularly Java, C/C++ * Knowledge of DevOps tooling: CI/CD tools, Git, Docker, Kubernetes * Familiarity with database design and architecture: relational and non-relational * Comfort with cloud architecture: commercial cloud, OpenStack * Comfort with deep learning library (Tensorflow, Pytorch) implementation and integration * Excellent project planning and communication skills. * Driven, self-directed personality * Strong sense of mission and commitment to making a difference * _U.S. citizenship_
##The Right Fit## Sr Data Eng 4+ years relevant experience Excellence in Python or GoLang * Applicants welcome with excellence in another major language, particularly Java, C/C++ * Knowledge of DevOps tooling: CI/CD tools, Git, Docker, Kubernetes * Familiarity with database design and architecture: relational and non-relational * Comfort with cloud architecture: commercial cloud, OpenStack * Comfort with deep learning library (Tensorflow, Pytorch) implementation and integration * Excellent project planning and communication skills. * Driven, self-directed personality * Strong sense of mission and commitment to making a difference * _U.S. citizenship_
##The Right Fit## Sr Reliability Eng 1+ years experience in the following Automation and Infrastructure as Code * Programming in Bash, Powershell, or another language * Utilizing Git for source control management * Server administration; Linux and Windows * Virtualization and/or containerization solutions including, but not limited to: OpenStack, Kubernetes, Docker, VMware, KVM, HyperV * Deploying infrastructure in a cloud such as AWS, Azure, GCP, or OpenStack * Ansible or another configuration management solution such as Chef, Puppet, or Salt * Windows endpoint administration 4+ years total experience in any IT career field Excellent organizational, verbal, and written communications skills * Willingness to obtain and/or maintain a U.S. security clearance * _U.S. citizenship_
Also feel free to reach out to me directly via email: t.shank [at] striveworks.us
Striveworks | ONSITE | Senior Software Engineer/Senior Data Engineer/Site Reliability Engineer @ AI/MLOps Company | Austin or WDC
Sr Software Eng ATX: https://l.linklyhq.com/l/ZvwY
Sr Software Eng WDC: https://l.linklyhq.com/l/ZvwZ
Sr Data Eng ATX: https://l.linklyhq.com/l/cWsW
Site Reliability Eng ATX: https://l.linklyhq.com/l/cWse
Haven't heard of Striveworks? There's a reason for that... we're Austin's best kept tech secret. Our people and products shape solutions that directly affect the geopolitical landscape. We are cross-functional talent working together on the cutting edge to provide mission critical solutions. Keep reading to learn the perks of joining a well-funded MLOps startup with major contracts in highly regulated spaces.
##The Right Fit## Sr Software Eng * 4+ years relevant experience * Excellence in Python or GoLang * Applicants welcome with excellence in another major language, particularly Java, C/C++ * Knowledge of DevOps tooling: CI/CD tools, Git, Docker, Kubernetes * Familiarity with database design and architecture: relational and non-relational * Comfort with cloud architecture: commercial cloud, OpenStack * Comfort with deep learning library (Tensorflow, Pytorch) implementation and integration * Excellent project planning and communication skills. * Driven, self-directed personality * Strong sense of mission and commitment to making a difference * _U.S. citizenship_
##The Right Fit## Sr Data Eng 4+ years relevant experience Excellence in Python or GoLang * Applicants welcome with excellence in another major language, particularly Java, C/C++ * Knowledge of DevOps tooling: CI/CD tools, Git, Docker, Kubernetes * Familiarity with database design and architecture: relational and non-relational * Comfort with cloud architecture: commercial cloud, OpenStack * Comfort with deep learning library (Tensorflow, Pytorch) implementation and integration * Excellent project planning and communication skills. * Driven, self-directed personality * Strong sense of mission and commitment to making a difference * _U.S. citizenship_
##The Right Fit## Sr Reliability Eng 1+ years experience in the following Automation and Infrastructure as Code * Programming in Bash, Powershell, or another language * Utilizing Git for source control management * Server administration; Linux and Windows * Virtualization and/or containerization solutions including, but not limited to: OpenStack, Kubernetes, Docker, VMware, KVM, HyperV * Deploying infrastructure in a cloud such as AWS, Azure, GCP, or OpenStack * Ansible or another configuration management solution such as Chef, Puppet, or Salt * Windows endpoint administration 4+ years total experience in any IT career field Excellent organizational, verbal, and written communications skills * Willingness to obtain and/or maintain a U.S. security clearance * _U.S. citizenship_
Also feel free to reach out to me directly via email: t.shank [at] striveworks.us
Shaper Tools | Senior Software Engineer (Web) | SF or Remote (US) | Full-Time | https://shapertools.com
Shaper is developing a revolutionary line of augmented-reality power tools, starting with a handheld CNC router called Origin. We have set out to simplify the process of making, and our software products and services are central to this goal.
We’re looking for a Senior Software Engineer to lead development on ShaperHub (https://hub.shapertools.com). ShaperHub is a marketplace for woodworking and fabrication projects, and a platform that enables our community to make, collaborate, learn and share.
This is your opportunity to join a world class team that is redefining power tools by making precision cutting simple and accessible.
Stack: (Web) React, Redux, Styled Components, Node.js, AWS, Kubernetes, Terraform. (Embedded) C/C++, Qt
More info: https://www.shapertools.com/about/careers
VDX.tv (http://www.vdx.tv) | Remote Engineers & Developers | Full-time | REMOTE Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you:
● Are self-motivated and can work independently
● Have experience with many languages but can be effective in any language
● Appreciate that all mature software solutions accumulate technical debt and understand how to continually reduce debt and complexity
● Understand how to build highly reliable systems and be responsible for taking code to production
● Understand that code simplicity and readability are more important for long term maintainability
● Want to work on challenging problems and impactful work without being micromanaged
We're hiring across disciplines for engineers who work with Unix and have fluent written and spoken English:
● Backend Servers: Strong in C, Concurrency and Distributed Computing
● Backend Servers: Strong in Java
● Data Science: Strong in Math/Physics/CS + Python, Linux, SQL
● Javascript: Strong in Javascript, HTML5 canvas, CSS, JS Video Libraries, Developed frameworks
● Frontend Development: Strong in Angular / React / Vue JS and Node JS, Data intensive dashboards, frontend design and architecture patterns
● System Infrastructure: Strong in private and public cloud, infrastructure as code, scripting and programming.
Full-time only. Remote only. We start out on a full-time trial contract basis for up to 3 months and use this period as an extended work interview for both sides to assess fit for long-term employment.
Please email hn.remote.jobs@vdx.tv if this sounds like the right fit for you.
Groundspeed Analytics | InsurTech | Engineering, Product | Remote (US), Ann-Arbor MI | Full-Time | https://groundspeed.com/ Groundspeed Analytics enables commercial insurance brokers and carriers to unlock insights from unstructured information through the company's data-as-a-service platform. The Rapid Fusion pipeline transforms and delivers structured and enriched data from unstructured documents to our customers' workflows.
We are hiring for multiple engineer, product manager roles with strong salary and benefits (401K, health, unlimited PTO, fully remote and many other perks). We are a distributed team of 100 across the US. We've raised our Series C, have a strong customer pipeline, and are well-poised for scaling the company. You'll have significant ownership and opportunity to grow your skills and career.
Technologies we use: Python/Flask, Node/Express/Meteor, React/Redux, AWS
--> Fullstack Engineer
--> Senior Backend Engineer
--> Senior Frontend Engineer
--> Senior Data Engineer
--> Product Manager
Apply: https://jobs.lever.co/groundspeed/
About: https://groundspeed.com/
No recruiters and we do not sponsor. You can live anywhere in the US.
Parity Technologies | Berlin, Germany or London, U.K. or Remote | Full-Time or Contract, Remote-OK | https://www.parity.io/jobs
Parity is a core blockchain infrastructure company. We're creating an open-source creative commons that will enable people to create better institutions through technology.
We are hiring across our entire company for both technical and non-technical roles. Positions which we are looking to fill ASAP include:
- Head of Application Security
- Senior Security Analyst
- Director of People Ops
- Technical Recruiter
- Core Engineer (Rust, Go, C, or C++)
- DevSecOps, CI/CD Engineers
Please apply directly to a position you are interested in on our website (https://www.parity.io/jobs). If the position you're interested in is not listed or you'd like to reach us personally, you can email me via: austin@parity.io.
If you email, please include the role you're interested in and some profiles to check out your work such as LinkedIn, GitHub, a personal website/blog, etc.
Man Group Alpha Tech | Quant Python Engineer | London, UK | Onsite | Full Time
As a Quant Python Engineer in Alpha Tech at Man you will be building the tools, frameworks, libraries and applications which power our Quantitative Research and Systematic Trading. This includes responsibility for the continued success of “Raptor”, our in-house Quant Platform, next generation Data Engineering, and evolution of our production Trading System as we continually expand the markets and types of assets we trade, and the styles in which we trade them. Your challenges will be varied and might involve building new high performance data acquisition and processing pipelines, cluster-computing solutions, numerical algorithms, position management systems, visualisation and reporting tools, operational user interfaces, continuous build systems and other developer productivity tools.
Our systems are almost all running on Linux and most of our code is in Python, with the full scientific stack: numpy, scipy, pandas, scikit-learn to name a few of the libraries we use extensively. We implement the systems that require the highest data throughput in Java. For storage, we rely heavily on MongoDB and Oracle.
We use Airflow for workflow management, Kafka for data pipelines, Bitbucket for source control, Jenkins for continuous integration, Grafana + Prometheus for metrics collection, ELK for log shipping and monitoring, Docker for containerisation, OpenStack for our private cloud, Ansible for architecture automation, and HipChat for internal communication. But our technology list is never static: we constantly evaluate new tools and libraries.
Alpha Tech has a small company, no-attitude feel. It is flat structured, open, transparent and collaborative, and you will have plenty of opportunity to grow and have enormous impact on what we do. We are actively engaged with the broader technology community.
o We host and sponsor London’s PyData and Machine Learning Meetups o We open-source some of our technology. See https://github.com/man-group o We regularly talk at leading industry conferences, and tweet about relevant technology and how we’re using it. See @manquanttech Essential Skills o Exceptional technology skills; recognised by your peers as an expert in your domain o A proponent of strong collaborative software engineering techniques and methods: agile development, continuous integration, code review, unit testing, refactoring and related approaches o Expert knowledge in one or more programming languages, preferably Python, Java and/or C/C++ o Proficient on Linux platforms with knowledge of various scripting languages o Strong knowledge of one or more relevant database technologies e.g. Oracle, MongoDB o Proficient with a range of open source frameworks and development tools e.g. NumPy/SciPy/Pandas, Pyramid, AngularJS, React o Familiarity with a variety of programming styles (e.g. OO, functional) and in-depth knowledge of design patterns.
If you're interested, please get in touch with Milly Parrott milly.parrott@man.com
Immunant | [Senior] Software Engineer | REMOTE | Full-time | https://www.immunant.com The team at Immunant is working tirelessly to make the lower levels of the modern software stack more secure. We are looking for a fellow systems programming expert to help us harden components used by hundreds of millions of users each day. If you have substantial experience with C/C++/Rust, an eye for detail, and a high degree of self-motivation, we'd love to talk.
We are located in Southern California but are also considering strong candidates who wish to work remotely in the US. More details here: https://www.immunant.com/jobs
Send questions or your application to team@immunant.com; please mention HN in subject line.
We look forward to hearing from you!
Symmetry Investments | Many Varied Roles | REMOTE or VISA (London, Hong Kong, Singapore, Jersey) | D, Julia, Kotlin, other functional and systems languages | Full-Time, Fixed Term, Flexible
## Roles we are hiring for
- Business Analysts: business analysis, documentation, team and tool design
- Native Code Developers: We are looking for outstanding native code developers who would like to write D. Our experience has been that strong C and C++ developers can learn D quite quickly.
- Functional Developers to work with Practitioners using Symmetry Integration Language to deliver value to the business.
- Documentation: At Symmetry we recognise the value of writing and have for example a Pulitzer prize-winning former WSJ journalist and a maintainer of Linux Kernel Newbies documentation. We are looking for people to write technical documentation and to document data structures and processes (open to varying range of technical ability depending on the project).
- Designers for documentation. Now that non-programming internal work is moving to markdown in git, we are hiring designers to work on templates and mini-logos for documentation and other work.
- Data Science: time series analysis in particular, including high frequency data sets that are too big for simple tools
- Information Security: incident response, threat intelligence, vuln management
- Platform: Platform as Code, Site Reliability Engineers, Windows desktop support; frontline server support and administration; application support
- Legal and Compliance: #lawyerswhocode or who are very comfortable working with markdown in git
- Accounting: are you the sort of person who would use #ledger-cli ? If so, we would like to hear from you.
- Business: risk, operations, administrative, organisational design and business strategy, investor relations processes
- Investment: Economics, Quant, Portfolio Research, Investment Research, Portfolio Management and Trading
- Market Data: contract administration, data cleaning, alternative data research and management
Location: Remote or sponsorship for a visa in London, Hong Kong, Singapore, Jersey
Term: full-time permanent, fixed-term contract, flexible hours.
## Languages
- Dlang (D)
- Julia
- Kotlin
- we do not use but value experience in modern C++, beautiful C, Haskell, Ocaml, Rust, Elm
## Qualities and traits we value
- Courage and daring
- Phronesis (practical wisdom), common sense and commercial orientation
- Practical people who are at the same time unreasonable when they ought to be
- Highly individual people oriented to promoting survival and flourishing of the group
- Inclination and ability to notice and understand links between seemingly-unrelated things
- Curiosity
- Extreme motivation
- Mechanical sympathy
- Extreme and unusual intellectual capabilities
- A love of tinkering
- Resourcefulness
- Good taste and love of beauty
## About Us
Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations.
Our core technology team has been remote-first for some time, and the whole company is following suit, post-COVID.
I'm one of the three people running the firm, responsible amongst other things for technology across the firm and I’m posting this myself. That should give you an idea both about how seriously we take technology and the culture of the firm.
We are four years into a period of transformation from what was initially a fairly standard enterprise finance technology approach to something new that recognises the importance of both the humane and the technical for discretionary portfolio management and for the business of running an alternative investment manager. [Amaury Sechet](https://www.youtube.com/watch?v=AhR4PSExnqk), [Andrei Alexandrescu](https://www.youtube.com/watch?v=es6U7WAlKpQ) and [Atila Neves](https://dlang.org/blog/2019/10/15/my-vision-of-ds-future/) have been working with us as long-term consultants and we have many other talented people with lower public profiles.
It's not easy to integrate practitioners who may spend most of their day programming, but are oriented towards solving business problems, with developers who are specialists in programming. To achieve this, we wrote a little functional DSL that's now in production. Type inference of returns and parameters using inequality constraints is in a feature branch and there is plenty more to do on the language itself as well as the ecosystem around it. SIL can compile and call C++ and D at runtime; Python interop is in alpha; and C# is on the way. What might be a project in itself elsewhere can be just a set of functions in Symmetry Integration Language.
The language is written in D and we have a close involvement with the D Foundation and community, hosting DConf in London. So we are looking for outstanding native code developers who would like to write D as well as people to work with practitioners writing Symmetry Integration Language. Also looking for people to write documentation and work on the build.
It's quite a creative place where we encourage a degree of courage amidst practical constraints, and we are open to doing things a different way if it's commercially sound and in the interests of our investors.
We look for virtues and capabilities over only experience and credentials although those things aren't a disadvantage. Do not let a lack of credentials or qualifications prevent you from applying. We've recently hired experts with C++, Common Lisp, D, Haxe, Haskell, Julia and Perl backgrounds, and are happy to bring them up to speed with the tools we use.
Compensation is currently not quite at Netflix standards but is generous to very generous over time by broad technology industry standards. We recognise and reward technical accomplishment and have a very flat structure - don't be surprised if our founder and CIO starts asking you questions about your work.
## Symmetry Talks
- Presenting SIL-cling to Compiler Research Group at Princeton (https://youtu.be/7teqrCNzrD8)
- Symmetry Internship Project - calling C++ from SIL (http://dconf.org/2020/online/index.html#alexandru)
- All Spreadsheets Must Die (https://youtu.be/FZi9CSB9_kk)
- Lessons from a DSL where all you have is Ranges (https://www.youtube.com/watch?v=BtuzSlKRmzA)
- Alternative Investment Management (https://youtu.be/1rMq-4rWgis)
## Links
- Symmetry GitHub (https://github.com/symmetryinvestments)
# Contact
- Please apply using this link (https://jobs.lever.co/symmetryinvestments/c8a9b95e-bdf0-459c...).
VDX.tv (http://www.vdx.tv) | Remote Engineers & Developers | Full-time | REMOTE Established company (20+ years) looking for mature generalists to contribute remotely. You can be anywhere in the world so long as you:
● Are self-motivated and can work independently
● Have experience with many languages but can be effective in any language
● Appreciate that all mature software solutions accumulate technical debt and understand how to continually reduce debt and complexity
● Understand how to build highly reliable systems and be responsible for taking code to production
● Understand that code simplicity and readability are more important for long term maintainability
● Want to work on challenging problems and impactful work without being micromanaged
We're hiring across disciplines for engineers who work with Unix and have fluent written and spoken English:
● Backend Servers: Strong in C, Concurrency and Distributed Computing
● Backend Servers: Strong in Java
● Data Science: Strong in Math/Physics/CS + Python, Linux, SQL
● Javascript: Strong in Javascript, HTML5 canvas, CSS, JS Video Libraries, Developed frameworks
● Frontend Development: Strong in Angular / React / Vue JS and Node JS, Data intensive dashboards, frontend design and architecture patterns
● System Infrastructure: Strong in private and public cloud, infrastructure as code, scripting and programming.
Full-time only. Remote only. We start out on a full-time trial contract basis for up to 3 months and use this period as an extended work interview for both sides to assess fit for long-term employment.
Please email hn.remote.jobs@vdx.tv if this sounds like the right fit for you.
Cloudflare | Singapore, Australia, US (Austin, SF, Chicago) | Full-Time, Remote-OK | https://cloudflare.com
Cloudflare is on a mission to help build a better Internet. Cloudflare is one of the world’s largest networks. Today, businesses, non-profits, bloggers, and anyone with an Internet presence boast faster, more secure websites and apps thanks to Cloudflare.
Here are some of our open roles:
Singapore, Australia, or Japan:
- SRE Edge https://boards.greenhouse.io/cloudflare/jobs/3434756?gh_jid=... - Systems Engineer - Infrastructure https://boards.greenhouse.io/cloudflare/jobs/3200809?gh_jid=...
San Francisco, Austin, or US Remote
- Storage Engineer https://boards.greenhouse.io/cloudflare/jobs/3423993
Austin
- Manager, SRE https://boards.greenhouse.io/cloudflare/jobs/3473258 - Systems Engineer - Infrastructure https://boards.greenhouse.io/cloudflare/jobs/3512509?gh_jid=...
Tech Stack: Go, Python, C, Lua, Kubernetes, Prometheus, Saltstack, Airflow
Our founders wrote a blog about the Future of work at Cloudflare https://blog.cloudflare.com/the-future-of-work-at-cloudflare
More opportunities available on https://www.cloudflare.com/careers
Lightning Labs | Lightning Infrastructure Engineer, Crypto Protocol Engineer, Frontend Application Developer | San Francisco | Remote | Full-time
https://lightning.engineering/
https://github.com/lightninglabs
Lightning Labs is hiring! We’re looking to expand our team to build technology that'll bring Bitcoin to the next billion people. Our current focus is the development and deployment of the Lightning Network, an open blockchain scalability protocol. We push the edge of innovation with regard to blockchain scalability, privacy-preserving smart contracts, and cryptocurrency UX. If you’re interested in one of the positions below, please apply using our careers page: https://lightning.engineering/join-us. And if you know someone who might be a good fit, we'd very much appreciate any referrals.
{Lightning Infrastructure Engineer}:
We're looking for a systems-oriented engineer who will design and build out key components to support the growth of the Lightning Network. These tools will lower the barrier to entry for operating Lightning nodes and enable existing node operators to more effectively manage their infrastructure. You'll work on products such as Lightning Pool (https://lightning.engineering/pool/), as well as other Bitcoin-based backend systems to make Lightning more useable, and secure.
{Crypto Protocol Engineer}:
Experienced systems software engineer versed in applied cryptography, peer-to-peer networks, distributed systems, open source software, and cryptocurrency protocols to design and implement core protocol and algorithmic components of the Lightning Network. Solid programming skills, experience with Go, C, or C++. Prior contributions to crypto protocols and open source software collaboration preferred.
{Frontend Application Developer}:
Frontend developer to build secure cross-platform second-layer blockchain applications. Our applications are built on EmotionJS, React and MobX, communicating with a Lightning daemon over a binary RPC protocol. Ideal applicants should have experience building and shipping React applications and maintaining open source projects.
Tesla | Various Roles | Palo Alto, Fremont, Austin, Berlin, Shanghai | ONSITE, REMOTE | https://www.tesla.com/careers
Tesla is hiring for software positions across a variety of disciplines. If you're interested in helping us transition to sustainable energy production/storage/consumption, we'd love to hear from you!
Please apply online at https://www.tesla.com/careers and send us a email highlighting some exceptional things you've done in the past so we can pull your resume from the stack. You can reach us at vehiclesoftwarerecruiting at tesla. Make sure to reference the url for the job(s) you've applied to!
------------------------------------------------------
Here are a couple of postings in that are particularly interesting in vehicle software:
https://www.tesla.com/careers/search/job/software-qa-test-en... (Python, C /or Rust, test automation, EE fundamentals)
https://www.tesla.com/careers/search/job/embedded-software-e... (embedded C, real-time, EE fundamentals)
https://www.tesla.com/careers/search/job/system-integration-... (low voltage, system design, C, embedded systems, EE fundamentals)
https://www.tesla.com/careers/search/job/software-engineer-g... (python, C, test automation)
https://www.tesla.com/careers/search/job/firmware-engineer-e... (embedded C, real-time, thermal/thermodynamics, motors, actuators)
https://www.tesla.com/careers/search/job/firmware-validation... (Python, C, test automation, embedded systems)
https://www.tesla.com/careers/search/job/rust-developer-soft... (Rust, C++, embedded systems, simulation, firmware)
An additional note: We're growing our engineering org in China and are looking for embedded SW and EE backgrounds. The team is based out of our Shanghai office. If you're interested, please send an email to vehiclesoftwarerecruiting at tesla and we'll pass along your info to those recruiters.
Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). We are looking for a lot of different profiles:
- GNU toolchain maintainers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )
- Static analysis engineers ( https://app.hellotalent.com/vacancy/software-engineer-ed85e9... )
- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope..., https://app.hellotalent.com/vacancy/devsecops-software-engin..., https://app.hellotalent.com/vacancy/software-qa-engineer-ed8...)
- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )
- Marketers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... , https://app.hellotalent.com/vacancy/global-marketing-manager... )
- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!