Southeast USA including: Virginia (Arlington and Dulles), Maryland (Annapolis Junction), South Carolina (Greenville), Alabama (Huntsville), Florida (beach east of Melbourne), Texas (Austin and San Antonio), Pennsylvania (State College) and possibly others, all ONSITE. Citizenship is a job requirement.
We do emulators, JIT, hypervisors, stuff similar to valgrind, debuggers, manual disassembly, binary static analysis, parsers, and assembly. We write our own low-level tools, frequently in C99 to run on Linux. We also use IDA Pro, qemu, Simics, JTAG debuggers, gdb, Coverity, KlocWork, LLVM, and so on. Easily transferable skills include those related to compilers, kernel drivers, embedded RTOSes, vectorizing, firmware, VxWorks BSP development, symbolic execution, boot loaders, software verification, concolic testing, abstract interpretation, satisfiability (SAT, SMT) solvers, and decompilers. We work with more than a dozen architectures including PowerPC/ppc, MIPS, ARM/Thumb/AArch64, x86/x64/Intel, DSPs, and microcontrollers. We hire from no-degree to PhD. Common degrees include Computer Science, Computer Engineering, Electrical Engineering, and Mathematics.
We don't normally work overtime, and we get paid more if we do. We're never expected to take work home or be on call. Because of the citizenship requirement, there is no chance that the work will be outsourced. Flex-time is fairly extreme; some do randomish hours.
Location hints: Pick Arlington for a car-free life, subway included. Pick Florida or Texas to live in a place with solid gun rights and no state income tax. Pick Florida for almost no traffic or commute, surfing, and houses that commonly go for $150,000 to $450,000.
You can email me at users.sf.net, with account name albert.
Cyient | FULL TIME | ONSITE (remote for the right candidate) | Melbourne, FL; Bangalore, India| http://certsafe.com/
CertSAFE is a software suite developed by Cyient for the design, development, simulation, verification, and validation of safety-critical systems. CertSAFE features a graphical development environment for a visual modeling language based on dataflow/circuit diagram notation, a simulation engine and interactive testing interface, an automatic test generator based on Satisfiability Modulo Theories (SMT) solving, and more.
As a member of the CertSAFE team, you will get to apply your software engineering and computer science knowledge in diverse areas, including programming language theory, graph theory, user interface design, concurrent and parallel software design, and software test automation. You will get to interact on a day-to-day basis with real-world users and customers working on safety-critical applications in aerospace, defense, transportation, medical devices, and other fields.
CertSAFE is developed by a small team with a Lean Kanban development process. We use a variety of technologies including Java, Maven, Jenkins, Python, and AWS, and also especially appreciate experience with functional languages such as Haskell, F#, OCaml, Lisp, etc.
Positions available include Software Engineer (Bangalore, India), Software Quality Assurance Engineer (Bangalore, India), Product Specialist (Bangalore, India), and DevOps Engineer (Melbourne, FL). Visit http://certsafe.com/careers/ for full position descriptions.
The roles outside of Melbourne, FL will require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.
Interested? Email your resume to email@example.com.
Cash App | Software Engineer | San Francisco/New York/Austin/Melbourne AU/Kitchener/Waterloo CA | https://squareup.com/careers/jobs?team=Cash Cash App (by Square Inc) is hiring across ML, Backend, iOS & Android to work on features for the #1 Finance app in the US on iOS and Android.
What we do:
Cash App is the easiest way to send and receive money. We make it easy to pay and get paid, spend safely, deposit your paycheck, buy/sell bitcoin and save while you spend. We're hiring engineers to help unbanked and underbanked customers around the country manage their money.
Why it's cool:
Cash is the number #1 finance app in the US (and a top 20 free app overall). We're a full stack team, with opportunities to work on highly polished customer facing features, deep money movement infrastructure including blockchain, external integrations and risk & machine learning infrastructure. Cash's goal is to be an honest financial network, and millions of customers per month already manage their money with Cash. Our work environment includes lots of Silicon Valley style perks, and supports a distributed/remote team culture; we have engineering centers in Melbourne AU, Kitchener/Waterloo CA, San Francisco, New York, and Austin, as well as team members spread around the world from Kansas to Stockholm. We help with visas were necessary.
Technologies we use and teach:
Java & Kotlin including JUnit, Hibernate, Guice, and OkHttp/Retrofit
HTTP, JSON, gRPC, and Protocol Buffers
If this matches your background and interests, we'd love to talk to you -- email firstname.lastname@example.org.