Synopsys | Senior Software Engineer, Static Analysis | San Francisco, CA | Full-time | ONSITE
The Static Analysis team is looking for an exceptional C/C++ developer, with experience or interest in building security tools, to join the Coverity team. The job involves the creation of new checkers, evolving Coverity's state-of-the-art analysis infrastructure, performance and parallel system optimization, and generally pushing the envelope of static analysis. The perfect candidate will have a strong passion for improving software quality and security, preferably some background in programming languages and static analysis, and foremost a strong desire to learn.
You will work in our China Basin office in San Francisco, with easy access to Muni and Caltrain. This is a chance to dive deep into some challenging engineering problems, with the backing of a stable company and top-notch team of coworkers.
Apply at https://sjobs.brassring.com/TGnewUI/Search/Home/Home?partner...
Cruise | San Francisco, CA (south bay only? reach out to me) | C++, C, Go, Python | Application & Embedded Engineers | Full Time | Onsite | http://getcruise.com/careers/jobs/?department=4h3y7X&team=42...
We’re building self-driving cars and they’re on the road right now driving around San Francisco and Phoenix. I’m an engineering manager on the Embedded Systems team which has a wider scope than you might first think. We work closely with the hardware, security, safety, frameworks, and fleet operations teams and span through FPGA logic, embedded OS, device drivers, first layer application code, embedded software deployment, vehicle start-up, and hardware-in-the-loop test rigs. Our code runs all over the car from custom devices (ECUs) to the high level brain handling higher level functions. We have many open positions which are funded by both real dollars (salary) and equity and want you to help us work on this rewarding and highly visible challenge. Your work will be the foundational software upon which the rest of Cruise builds. If you want to audio/video chat or have any questions you can reach out to me directly by email - jm.fischer@getcruise.com. If you’re ready to apply you can send me your resume or use the careers website http://getcruise.com/careers.
Aller Media | Backend developer - Data platform team | Oslo, Norway | ONSITE
Aller Media has made tremendous progress in transforming itself into a data-driven company. We are now looking for a developer to join the Data Platform team.
We strongly believe that excellent developers come from a variety of different backgrounds. As a guide, we are looking for someone with:
- Programming experience, preferably in Go, Rust, Java, C, or similar.
- Experience working with any of the technologies that we use (Kubernetes, PubSub, Bigtable, BigQuery, Varnish).
- Data analysis skills (SQL, R, Pandas, etc.)
- Experience with high-throughput distributed systems.
Aller Media is one of the largest media conglomerates in Norway. The company has a wide range of products, from breaking news with Dagbladet as the front runner, to typical magazine products like Se og Hør and KK.
Read more and apply at: https://www.finn.no/job/fulltime/ad.html?finnkode=158837491
Turbulent | Game platform back-end Developer | Montreal, Canada | Ideally onsite, Remote Possible |
Turbulent builds & deploys technologies to connect game developers and their audience.
I am actively looking to fill several positions in our game services team working on Star Citizen. The tech stack is composed of Node, Typescript, Kafka, MySQL, Redis, over EKS but our team also mingles in C, C++ (game client and server), NNM and launcher.
We strive to build highly distributed systems that power the social elements of the MMO including services like voice, chat, groups and others.
We are looking to expand the team with qualified members to tackle even more aspects of gameplay services as well as the connectivity of the game world to the real world.
Feel free to email me directly.at b at turbulent.ca.
TenTen | Tokyo, Japan | VISA for exceptional | ONSITE
https://www.mytenten.com with offices in Omotesando/Harajuku
We built our own hardware to control and interface with vending machines, doing what the Web 2.0 did for Web. We’re truly full-stack so you can expect to see Hardware/Firmware/IoT/Mobile/Web/Backend/Cellular/Bluetooth and others.
Firmware and embedded engineer
- Experience in Linux based embedded systems in production
- Experience in C/C++ based development
- Experience with Linux kernel driver development (highly desired)
- Experience with high-level programming language development such as Python (desired)
- Experience with Linux BSP creation (desired)
- Experience with buildroot and/or yocto build systems (desired)
What we have is a Linux based embedded system that also has a hard real-time processing component. The suitable candidate feels comfortable working with Linux platform with core components written in C, but the application architecture also utilizes high-level language components to provide the overall service and speed up the development. Has confidence in participating in low level debugging (logic analyzer etc), core dump analyzing of application failures and also general configuration matters of Linux.
We’re looking for go-getters that enjoy taking ownership over problems and seeing them driven to a solution, atm we prefer more experienced candidates to pave the way.
You can reach me hugo at mytenten dot com, this position doesn't require Japanese.
Lightning Labs | Frontend Developer, Crypto Protocol Engineer, SRE, DevOps | San Francisco | Onsite or Remote | Full-time
https://lightning.engineering/
Lightning Labs is hiring! We’re looking to expand our team to build technology that scales Bitcoin and blockchains. 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://hire.withgoogle.com/public/jobs/lightningengineering. And if you know someone who might be a good fit, we'd very much appreciate any referrals.
{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 React, React Native, MobX, and Electron, communicating with a Lightning daemon over a binary RPC protocol. Ideal applicants will have experience building and shipping React Native applications and maintaining open source projects.
{SRE/DevOps}:
We currently deploy a number of backend services that make Lightning easier to use built on technology such as: etcd, Kubernetes, Prometheus, Grafana, and Traefik. Your role would be to help us secure and scale these systems via intelligent automation and robust service architecture. Experience with AWS is a bonus, as well as experience with Bitcoin, particularly in the area of key management.
Doctype | Software engineer with reverse engineering skills / Anti-cheat engineer | Stockholm, Sweden | ONSITE, VISA or REMOTE (worldwide) | Full-time | https://www.doctype.se/
We're a small digital agency based in Stockholm, Sweden. Currently around 15 people. We have an office in the heart of Stockholm, but our employees are free to work from wherever they feel most productive. We've built https://lemondogs.com/, https://www.gothiaecup.com/, https://beta.esportal.se/, amongst other websites. Our largest clients are within the eSports segment.
We’re currently looking for a software engineer with reverse engineering skills to work with us on client-sided anti-cheat technology. Our current tech stack is mainly Go, MariaDB and React, but the project you would be working on is a standalone client built in C/C++, Go and Assembly.
Requirements:
* Good understanding of C and x86-64 assembly
* Good understanding of the x86 architecture
* Good understanding of the Windows NT kernel
* Good grasp of reverse engineering
* Eager to learn
Nice to have:
* Experience with reverse engineering malware/cheats/games, the windows NT kernel
* Experience with binary instrumentation
* Experience with hardware-assisted virtualization (such as VT-x and AMD-V), SLAT (Second Level Address Translation) (e.g. EPT, NPT)
* Understanding cryptography primitives
The role we’re looking to fill is full-time. You’ll be working together with another anti-cheat engineer to combat cheaters in video games. We can offer relocation to Sweden and assist with housing. Feel free to mail me at asamy@doctype.se if this sounds interesting to you!
Pex | Multiple positions | Downtown, Los Angeles, CA; Boulder, CO | ONSITE, FULL-TIME | https://angel.co/pexeso/jobs
Pex built one of the largest search engine for audio-visual content (https://softwareengineeringdaily.com/2018/06/22/video-search...) with primary focus on rights holders and creators.
We're looking for senior engineers for positions listed bellow:
- C/C++ to help us optimize our algorithms - signal processing and machine learning (mostly R&D) - DBA architect (Postgres [with Citus], FoundationDB, others) - Go and Java for work on our backend systems - DevOps and SRE folks to help us to scale our services - QA to help us to deliver the best bug-free products to our clients In addition we are looking for skilled Python/C/C++ developers that are interested to get into ML. We will pair you up with our ML team, invest in your education in the field while you help our team to write better, more scalable code.For all employees, we offer:
- equal salary within US (no matter where you live you are paid as in LA) - 30 days of paid vacation - fully covered health benefits (gold/platinum) [70% coverage for dependants] - 4 months paid parental leave - $300 monthly limit on work related expenses (commuting, books, ...) - covering all costs of visiting conferences, education, ... - 50 hour work week (including commute) If you want to learn more, reach out to use at hire@pex.comSwift Navigation (https://www.swiftnav.com/) | Software Engineers (Cloud Infrastructure or C++) | ONSITE | Fulltime | San Francisco | Open to Visas/Sponsorship
Swift Navigation builds the technology enabling precise positioning for all autonomous vehicles. We’re a well-funded series B startup backed by First Round Capital. We’re just under 100 folks, mostly engineers, including some of the world’s leading experts in GNSS. We have a small office in Melbourne if that’s of interest to you too.
Our stack includes: Languages: C/C++11/Haskell/Go/Rust Cloud: Docker/Kubernetes/AWS CI/CD: Travis/Jenkins GNSS: Stochastic Hardware in the Loop (HITL) Testing on production hardware with live sky signals
C++ Engineer: https://www.swiftnav.com/join-us/jobs-listing?gh_jid=4318219... Infrastructure Engineer: https://www.swiftnav.com/join-us/jobs-listing?gh_jid=4140298... Full list of open positions: https://www.swiftnav.com/join-us/jobs-listing
Also, can message me at aaron.steinberger@swift-nav.com to discuss
Graphcore | Hiring in Palo Alto & Seattle | Onsite, Fulltime
Graphcore is the most exciting AI hardware start-up in the world. We are building a new class of processor – the “Intelligence Processing Unit”, or IPU – designed from the ground up to both deliver breakthrough performance and efficiency on today’s Deep Learning workloads and to enable innovators to create the next generations of machine intelligence algorithms. Graphcore has an experienced, world-class (and rapidly growing!) team with products coming to market very soon. Customer demand for our technology is overwhelming – we can choose to partner with the leading organizations in the field.
• AI Applications Specialist ◦ A more focused engineering role, somewhat less customer-facing than AIE and FAE above ◦ Focused on strong AI/Deep Learning and/or C++/performance programming skills – ideally we want a mix of both ◦ Seattle & Palo Alto - Master’s or Ph.D. preferred
• AI Engineer/Machine Learning ◦ Customer facing role, focusing on AI/Deep Learning, ideally also with C/C++ background ◦ Palo Alto Please email resumes to
juans@stealthmode.co
comma.ai | engineers | San Diego | onsite | full-time
We built an open-sourced self driving car (https://github.com/commaai/openpilot)
It does this: https://www.youtube.com/watch?v=t3XHXL9rzQM
Our stack is largely Python, with some C/C++ and JS(React). We're looking for:
An openpilot Engineer to develop openpilot through new features, code optimization and car ports.
A Machine Learning Engineer to build tools to track, analyze and fix failures of the driving system as well as work on our automatic ground truthing and ML pipeline.
Reach out with a GitHub/LinkedIn to givemeajob@comma.ai.
76 Software Engineering Group | Oklahoma City, OK | FULL-TIME | ONSITE | U.S. CITIZENSHIP REQUIRED
76 SWEG is a civilian software engineering organization operating under the United States Air Force. We are hundreds of (civilian) scientists and engineers that provide software, hardware, and engineering support solutions to a variety of Air Force and military platforms. We are located on Tinker Air Force Base in Oklahoma City, OK. We often operate like a contractor to other parts of the military and federal government by providing independent engineering services without seeking a profit. We have dozens of active projects using C/C++, C#, Java, JavaScript, LabVIEW, Visual Basic, Assembly, Ada, Fortran, and other more esoteric languages. We have immediate opportunities available to hire candidates with degrees in Computer Science, Computer Engineering, Electrical Engineering, or closely-related fields.
If you are interested in learning more, please e-mail 76SMXG.Tinker.Careers@us.af.mil and tell them Jake sent you.
Tesla | Various | Palo Alto; Bellevue | Intern/Full Time Tesla has many open positions for interns and full time candidates. Please apply online send an email with your resume to vehiclesoftwarerecruiting@. Please make your subject line: HN <req_id> so we can filter appropriately.
---
Distributed Systems
- Full Stack (Javascript, Python) - https://bit.ly/2ksmrC6
- Site Reliability (Linux, networking, storage/virtualization) - https://bit.ly/2jXRXI2
- Backend (Go, network programming) - https://bit.ly/2k24U3I
---
Security Engineering
- Product Security - https://bit.ly/2lPSxbk
- Embedded Systems Security - https://bit.ly/2lPSyMq
---
Vehicle development
- Infotainment UI (C++) - https://bit.ly/2lA89j2
- Rendering Engineer (C, C++) - https://bit.ly/2kpHeGz
- Video Games (C++) - https://bit.ly/2lzIibi (Bellevue) https://bit.ly/2kgejF2 (Palo Alto)
- Systems Software, Autopilot (C, C++) - https://bit.ly/2lYC2Kj
- Software Engineer, Mobile (Objective C, Android) - https://bit.ly/2lApaJU
- Software Engineer, Charging & Power Conversion (Embedded C) - https://bit.ly/2lWDKfc
- Machine Learning Infr, Autopilot (Python, C, C++) - https://bit.ly/2lxuttJ
- Data Tools (Haskell, Python) - https://bit.ly/2jT0Nqq
---
Validation
- Maps & Navigation Automation (Ruby, Python, Go, C++) - https://bit.ly/2kpLPZe
- System Validation, Powertrain Thermals (Python, EE/ME background) - https://bit.ly/2lWDQn4
- System Validation, High Voltage Systems (Python, EE background) - https://bit.ly/2jWCUOL
- Product Support Engineer (EE/ME background) - https://bit.ly/2kdBzDz
---
Integration
- Vehicle Integration (C, EE/ME background) - https://bit.ly/2lYBYdx
- Autopilot Systems Design/Functional Safety Engineer (C++) - https://bit.ly/2lQBFBh
---
Deep Learning
- Deep Learning (Python) - https://bit.ly/2kg6hvQ
- Autopilot Software, Robotics (C++, Python) - https://bit.ly/2lsCRe1
- Frontend, AI Tooling - https://bit.ly/2k24XfU
- Backend, AI Tooling (Python, Scala, Spark) - https://bit.ly/2jXeW61
---
Internships
Refer to this link: https://www.tesla.com/careers/students If nothing is available there, email us at the address listed above.
Verizon NDR | Denver, CO | Full Time | Onsite (Relocation Available) | https://enterprise.verizon.com//products/security/advanced-t...
Verizon NDR (formerly Protectwise) is the evolution of effective, efficient and accessible network security. Customers need no specialized hardware to rapidly deploy Network Detection and Response in any segment of the modern network — enterprise, cloud, industrial, IoT and 5G — to see all activities and record everything for comprehensive analysis, discovery and action.
Come join us if are looking to work on a very challenging problem, securing some of the largest networks in the world, dealing with a high volume of data, on a very good, agile team, with a great group of peers. We work in an amazing office in downtown Denver, near Union Station, making the commute fairly easy. We have a large selection of great lunch and happy hour options, plus the standard amenities like a kegerator and lots of food.
- Network Capture (Rust) - Develop the next generation of network capture and perform analysis of packets and network protocols. Knowledge of C/C++ and network protocols (IT and OT) is helpful.
- Platform - Processing (C/C++/Scala) - Work on the system responsible for ingesting and processing the captured network data. Knowledge of Kafka, Solr, and Cassandra is helpful. Knowledge of network protocols (IT and OT) is helpful.
- Platform - Storage (Scala) -> Work on the system responsible for storing and querying the captured network data. Knowledge of Kafka, Solr, and Cassandra is helpful.
- Infrastructure (Terraform/AWS) -> Help to enable the infrastructure powering the platform. Knowledge of Ansible, Cassandra, Solr, Kafka, and the JVM helpful.
If you are interested or want more information, please email us at ndr.careers@verizon.com. In your communication, please mention hacker news.
[still-unnamed startup in stealth mode] | REMOTE or ONSITE(around HK: Guangzhou,Macau,Shenzhen,Taiwan,etc) | 20-40h per week, freelancers/full-timers/part-timers
Sorry for the vague description but I can tell you more about the product we're building when you apply. Hopefully I can attract you in a sufficient way with our tech stack! (see below). [NOTE: this is not a pie-in-the-sky venture, you would be joining a team who has a 1+year-old working product, with prospects of new greenfield products built around the first.]
Job positions:
- Build engineer: you are a Linux-er who has some past experience building deb or rpm packages, are excited about reproducible builds, and are willing to learn (if you don't already know) new things such as snap or flatpak. gitlabCI and/or githubActions is a plus. (Might do some DevOps work after we come out of stealth mode as well.)
- C#/.NET developer: generics, LINQ, VisualStudio, EntityFramework et al are your bread and butter. You value the diversity that comes from learning other languages and tech-stacks but also the stability that a robust platform like .NET provides, which you based your career on. Desirable to be familiar with Xamarin, but not required. F# is a plus.
- Rust developer: you dealt with C/C++/Objective-C in the past but are ready to move on. However, you're still not convinced about garbage collected languages, so you have been looking at Rust lately, or willing to learn it. You're not a smart-ass though, so you would be excited to expose your Rust code's API to be consumed by higher level languages.
- FP developer: you value immutability and lack of side effects because you have lived the nightmares of race conditions and heisenbugs in your career. You're disgusted with most job positions out there because the tech-stack described in most of them don't look safe enough to be serious (sure they can build snapchats with them, but not robust software that would end up being used by NASA or Waymo). Desirable to be familiar with F#.
- Desktop/mobile developer: you cringe at the idea of "Electron apps", because you think native frameworks like QT or gtk+ give much power and maintainability (plus, performance aside, javascript is a joke in any other aspect too). But you also understand why garbage-collected languages are safer and more productive than low-level ones, and there are many of these much more decent than JS. (gtk is preferred for this position at the moment; or someone willing to switch)
- SmartContracts/blockchain developer: you've used/developed smart contracts in languages such as Ivy, MiniScript, or Solidity(EVM), or are willing to learn this technology. Desirable to have familiarity with atomic swaps, HTLCs or zero knowledge proofs. Excited about things like bitcoin, ethereum, mimblewimble/grin, DAI, etc
Important perk for all positions: all the code/scripts you'll write (being paid of course) will be opensource, at least for the first 3months.
Write me at andrew.forsure@gmail.com
PS: Abstain from applying if you expect a lead/managerial role, because the team is not yet big enough to need extra leadership for now.
PS II: In case you're only interested in joining part-time, note: I wouldn't find it acceptable if you join us to work remotely part-time while keeping your full-time job. Part-time only works with your own side-projects, or other additional part-time job (because resting is important).
#erlang #c11 #go #rust #scala #ruby #typescript #react #opensource
Stateless | Boulder, CO | Onsite | stateless.net
At Stateless we are building something special. Not just in terms of a disruptive technology but also in terms of culture. A culture were people authentically personify our organizational values. Supportive. Sincere. Studious. Striving. Stateless.
Stateless is on a mission to reinvent network connectivity. Central to that was our initial innovation, where we demonstrated an ability to efficiently decouple state from processing in network functions—a task deemed infeasible in high-performance networking systems, but in doing so, we have opened the door for fundamentally changing how networks are built. Now, we are building the product around that vision. VCs have backed us, and early adopters have validated the business opportunity.
We are hiring for a variety of roles: from C++ Python and Kotlin developers to sales and support engineers.
Open positions:
* High Performance Network Programmer - https://boards.greenhouse.io/stateless/jobs/4285482002
* C/C++ Programmer - Networking Programmer (Mid to Senior Level) - https://boards.greenhouse.io/stateless/jobs/4375649002
* Software Engineer, Cloud Native Applications - https://boards.greenhouse.io/stateless/jobs/4425517002
* DevOps/Test Automation Engineer - https://boards.greenhouse.io/stateless/jobs/4377807002
* Network Operations Engineer - https://boards.greenhouse.io/stateless/jobs/4441452002
* Sales Engineer - https://boards.greenhouse.io/stateless/jobs/4284897002
Gambit Research Ltd (http://gambitresearch.com) | London, UK | ONSITE | £40-85k + Bonus + Benefits + Totally Flexible Working Hours + Personal Training Budget + Chef Cooked Office Lunches Twice a Week + Health Insurance + Discounted Gym At Gambit Research we specialise in creating and managing an automated betting service, via research, statistical analysis and the use of complex algorithms. We ingest and organise terabytes of market and event data from more than fifty sources and make the data available to our strategy teams via internal APIs.
We care deeply about speed, accuracy and availability. Our flagship product, MollyBet, presents the odds offered by many of the world’s largest bookmakers and betting exchanges, and enables clients to bet with multiple operators with a single mouse-click or API request. Molly is generally regarded as the best product in its class.
We’re always looking for clever, pragmatic, and autonomous individuals to join our team - individuals like you. We have a unique culture, where hierarchy and fancy job titles don’t matter. Instead our team is given the freedom to choose their own tools, work on projects they actually find interesting, and have totally flexible working hours. The technologies our team typically works with includes: Python, Erlang, JavaScript and C++. We also use Linux, Docker, Kubernetes, Ansible, C, Java, Haskell, Julia, Go, ReactJS, Django, PostgreSQL, Redis, Apache Spark, Apache Kafka, RabbitMQ, Celery, Elasticsearch, Logstash, Kibana, Graphite, Sentry, Git, and GitLab.
We’re currently recruiting for:
- A Desktop Support Engineer
- Smart Computer Science graduates (graduating 2020), preferably with some exposure to Python, C++, and JavaScript
If you're interested, pop your CV over to us at careers@gambitresearch.com, or have a go at our online challenge: https://www.gambitresearch.com/quiz/